Publikationen von Patrick Wienhöft

Artikel in Fachzeitschriften

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
Lazy model checking for recursive state machines
Software and Systems Modeling, 1-33, 2024
Details

Artikel in Tagungsbänden

Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
In Rozier, Kristin Yvonne and Chaudhuri, Swarat, eds., NASA Formal Methods, 86--103, 2023. Springer Nature Switzerland
Details

Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
Towards a Formal Account on Negative Latency
In Steffen, Bernhard, eds., Bridging the Gap Between AI and Reality, 188--214, 2023. Springer Nature Switzerland
Details

Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
More for Less: Safe Policy Improvement with Stronger Performance Guarantees
In Edith Elkind, eds., Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, 4406--4415, 2023. International Joint Conferences on Artificial Intelligence Organization
Details

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
Be lazy and don’t care: Faster CTL model checking for recursive state machines
In Radu Calinescu and Corina S. Păsăreanu, eds., Software Engineering and Formal Methods, volume 13085 of Lecture Notes in Computer Science, 332–350, 2021. Springer
Details