research
∙
04/19/2023
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
A classic solution technique for Markov decision processes (MDP) and sto...
share
research
∙
01/24/2023
A Practitioner's Guide to MDP Model Checking Algorithms
Model checking undiscounted reachability and expected-reward properties ...
research
∙
08/26/2022
Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
Recently, decision trees (DT) have been used as an explainable represent...
research
∙
07/29/2022
Optimistic and Topological Value Iteration for Simple Stochastic Games
While value iteration (VI) is a standard solution approach to simple sto...
research
∙
07/27/2022
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes
We consider the problem of computing minimum and maximum probabilities o...
research
∙
09/17/2021
Stochastic Games with Disjunctions of Multiple Objectives
Stochastic games combine controllable and adversarial non-determinism wi...
research
∙
08/10/2021
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)
Stochastic games combine controllable and adversarial non-determinism wi...
research
∙
01/15/2021
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Recent advances have shown how decision trees are apt data structures fo...
research
∙
09/23/2020
Comparison of Algorithms for Simple Stochastic Games
Simple stochastic games are turn-based 2.5-player zero-sum graph games w...
research
∙
08/21/2020
Comparison of Algorithms for Simple Stochastic Games (Full Version)
Simple stochastic games are turn-based 2.5-player zero-sum graph games w...
research
∙
05/08/2020
Stochastic Games with Lexicographic Reachability-Safety Objectives
We study turn-based stochastic zero-sum games with lexicographic prefere...
research
∙
02/12/2020
dtControl: Decision Tree Learning Algorithms for Controller Representation
Decision tree learning is a popular classification technique most common...
research
∙
08/14/2019
Approximating Values of Generalized-Reachability Stochastic Games
Simple stochastic games are turn-based 2.5-player games with a reachabil...
research
∙
06/25/2019
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
For hybrid Markov decision processes, UPPAAL Stratego can compute strate...
research
∙
05/10/2019
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Statistical model checking (SMC) is a technique for analysis of probabil...
research
∙
04/13/2018