Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Patrick Wienhöft Master of Science
Person

Zugehörigkeiten

Professur für Algebraische und logische Grundlagen der Informatik
- Wissenschaftliches Personal
- patrick.wienhoeft@tu-dresden.de

Identifizierungsnummern

ORCID	0000-0001-8047-4094
Scopus Autor ID	57388727400

Veröffentlichungen
Aktivitäten

Lazy model checking for recursive state machines

Dubslaff, C., Wienhöft, P. & Fehnker, A., 20 März 2024, in: Software and systems modeling. 23, 2, S. 369-401 33 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Towards a Formal Account on Negative Latency

Dubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 14 Dez. 2023, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (Hrsg.). Springer, Cham, S. 188–214 27 S. (Lecture Notes in Computer Science, Volume 14380).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

More for Less: Safe Policy Improvement with Stronger Performance Guarantees

Wienhöft, P., Suilen, M., Simão, T. D., Dubslaff, C., Baier, C. & Jansen, N., Aug. 2023, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. Elkind, E. (Hrsg.). S. 4406-4415 10 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Baier, C., Dubslaff, C., Wienhöft, P. & Kiebel, S., 3 Juni 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (Hrsg.). Springer, Cham, S. 86-103 18 S. (Lecture Notes in Computer Science, Band 13903).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines

Dubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dez. 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (Hrsg.). Springer, Cham, S. 332–350 19 S. (Lecture Notes in Computer Science, Volume 13085).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (6)

Reinforcement Learning with Formal Guarantees

Wienhöft, P. (Redner:in)

28 Sept. 2023

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Wienhöft, P. (Redner:in)

27 Juli 2023

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Wienhöft, P. (Redner:in)

16 Mai 2023

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Improving sample efficiency in Statistical Model Checking

Wienhöft, P. (Redner:in)

20 Sept. 2022

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen

Radboud University Nijmegen

Wienhöft, P. (Gast)

19 Sept. 2022 → 23 Sept. 2022

Aktivität: Aufenthalte an externen Einrichtungen › Forschungsaufenthalt

Alle Aktivitäten ansehen (8)