Patrick Wienhöft

1. Artifact for the paper "What are the Odds? Improving the Foundations of Statistical Model Checking"
   2024/04/08 by Tobias Meggendorfer, Meggendorfer, Tobias, Maximilian Weininger +3 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
2. More for Less: Safe Policy Improvement With Stronger Performance Guarantees
   2023/05/13 by Patrick Wienhöft, Wienhöft, Patrick, Marnix Suilen +9 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Data Classification #Reinforcement Learning in Robotics
3. Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
   2024/12/13 by Tobias Meggendorfer, Meggendorfer, Tobias, Maximilian Weininger +3 · 2 citations
   Computer Science · #AI-based Problem Solving and Planning