Patrick Wienhft
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Solving Robust Markov Decision Processes: Generic, Reliable, Efficient. | Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhft |
| 2025 | TACAS | Sound Statistical Model Checking for Probabilities and Expected Rewards. | Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhft |
| 2023 | IJCAI | More for Less: Safe Policy Improvement with Stronger Performance Guarantees. | Patrick Wienhft, Marnix Suilen, Thiago D. Simo, Clemens Dubslaff, Christel Baier, Nils Jansen |
| 2023 | VECoS | Towards a Formal Account on Negative Latency. | Clemens Dubslaff, Jonas Schulz, Patrick Wienhft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann |
| 2021 | SEFM | Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. | Clemens Dubslaff, Patrick Wienhft, Ansgar Fehnker |