Patrick Wienhöft

Orcid: 0000-0001-8047-4094

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Lazy model checking for recursive state machines.
Softw. Syst. Model., April, 2024

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

2023
Towards a Formal Account on Negative Latency.
Proceedings of the Bridging the Gap Between AI and Reality, 2023

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

More for Less: Safe Policy Improvement with Stronger Performance Guarantees.
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.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021


  Loading...