Badings, Thom
- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
2024/11/18 by Marnix Suilen, Thom Badings, Suilen, Marnix +7 · 7 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #AI-based Problem Solving and Planning
- Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
2025/01/02 by Mahdi Nazeri, Thom Badings, Nazeri, Mahdi +5 · 5 citations
Decision Sciences · #Complex Systems and Decision Making #Simulation Techniques and Applications
- Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
2024/06/02 by Thom Badings, W.J. Koops, Badings, Thom +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Neural Networks and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
- Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
2022/12/01 by Rickard, Luke, Badings, Thom, Romao, Licio +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Efficient Sensitivity Analysis for Parametric Robust Markov Chains
2023/05/01 by Badings, Thom, Junges, Sebastian, Marandi, Ahmadreza +2 · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Optimization and Control (math.OC)
- Decision-Making Under Uncertainty: Beyond Probabilities
2023/03/10 by Badings, Thom, Simão, Thiago D., Suilen, Marnix +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering