Meggendorfer, Tobias
- 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 · 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
- Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
2018/05/08 by Křetínský, Jan, Meggendorfer, Tobias · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Guessing Winning Policies in LTL Synthesis by Semantic Learning
2023/05/24 by Kretinsky, Jan, Meggendorfer, Tobias, Prokop, Maximilian +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
2023/05/26 by S. Akshay, Akshay, S., Krishnendu Chatterjee +5 · 1 citation
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
- Partial Exploration Tool 2.0
2024/04/04 by Tobias Meggendorfer, Meggendorfer, Tobias, Maximilian Weininger +1 · 1 citation
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
- Tools at the Frontiers of Quantitative Verification
2024/05/22 by Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E. +20 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
2024/05/07 by S. Akshay, Krishnendu Chatterjee, Akshay, S. +5 · 2 citations
Decision Sciences · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
2025/01/29 by Jan Křetínský, Tobias Meggendorfer, Kretinsky, Jan +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Model-Driven Software Engineering Techniques #Network Packet Processing and Optimization #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
- 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
- Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
2024/11/01 by Carlos E. Budde, Budde, Carlos E., Arnd Hartmanns +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
2023/04/19 by Jan Křetínský, Křetínský, Jan, Tobias Meggendorfer +3 · 1 citation
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