Patrick Wienhöft

According to our database, Patrick Wienhöft authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Lazy model checking for recursive state machines.

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker

Softw. Syst. Model., April, 2024

Sound Statistical Model Checking for Probabilities and Expected Rewards.

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

CoRR, 2024

What Are the Odds? Improving the foundations of Statistical Model Checking.

Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

CoRR, 2024

2023

Towards a Formal Account on Negative Latency.

Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.

Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

More for Less: Safe Policy Improvement with Stronger Performance Guarantees.

Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2021

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

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021