Skip to content Skip to footer

Research Portal of the TU Dresden

Patrick Wienhöft Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- patrick.wienhoeft@tu-dresden.de

Identification Numbers

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

Lazy model checking for recursive state machines

Dubslaff, C., Wienhöft, P. & Fehnker, A., 20 Mar 2024, In: Software and systems modeling. 23, 2, p. 369-401 33 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

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 Dec 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. (ed.). Springer, Cham, p. 188–214 27 p. (Lecture Notes in Computer Science, Volume 14380).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

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. (ed.). p. 4406-4415 10 p.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

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

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

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

Dubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dec 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. (eds.). Springer, Cham, p. 332–350 19 p. (Lecture Notes in Computer Science, Volume 13085).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (6)

Reinforcement Learning with Formal Guarantees

Wienhöft, P. (Speaker)

28 Sept 2023

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Wienhöft, P. (Speaker)

27 Jul 2023

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Wienhöft, P. (Speaker)

16 May 2023

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Improving sample efficiency in Statistical Model Checking

Wienhöft, P. (Speaker)

20 Sept 2022

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

Habitual strategy synthesis in MDPs

Wienhöft, P. (Speaker)

19 May 2022

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

View all activities (7)

Research Portal of the TU Dresden

Affiliations

Identification Numbers

Related content