Weininger, Maximilian
- A Practitioner's Guide to MDP Model Checking Algorithms
2023/01/24 by Arnd Hartmanns, Hartmanns, Arnd, Sebastian Junges +5 · 8 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
- Optimistic and Topological Value Iteration for Simple Stochastic Games
2022/07/29 by Muqsit Azeem, Azeem, Muqsit, Alexandros Evangelidis +7 · 3 citations
Decision Sciences · Economics, Econometrics and Finance · #Computer Science and Game Theory (cs.GT) #Decision-Making and Behavioral Economics #Economic theories and models #FOS: Computer and information sciences #Game Theory and Applications
- Artifact for the paper "What are the Odds? Improving the Foundations of Statistical Model Checking"
2024/04/08 by Tobias Meggendorfer, Maximilian Weininger, Meggendorfer, Tobias +3 · 3 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
- Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
2023/04/19 by Jan Křetínský, Tobias Meggendorfer, Křetínský, Jan +3 · 3 citations
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Decision-Making and Behavioral Economics #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
- Tools at the Frontiers of Quantitative Verification
2024/05/22 by Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E. +20 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
2024/11/01 by Carlos E. Budde, Arnd Hartmanns, Budde, Carlos E. +7 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- Partial Exploration Tool 2.0
2024/04/04 by Tobias Meggendorfer, Maximilian Weininger, Meggendorfer, Tobias +1 · 2 citations
Decision Sciences · #Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #FOS: Electrical engineering #Scientific Computing and Data Management #Systems and Control (eess.SY) #electronic engineering #information engineering
- Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025/01/20 by Chatterjee, Krishnendu, Quatmann, Tim, Schäffeler, Maximilian +3 · 2 citations
#Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
2024/12/13 by Tobias Meggendorfer, Maximilian Weininger, Meggendorfer, Tobias +3 · 3 citations
Computer Science · #AI-based Problem Solving and Planning
- Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
2022/08/26 by Florian Jüngermann, Jan Křetínský, Jüngermann, Florian +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Statistical and Computational Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering