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...
share
research
∙
06/24/2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification
While abstraction is a classic tool of verification to scale it up, it i...
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
∙
06/19/2019
Strategy Representation by Decision Trees with Linear Classifiers
Graph games and Markov decision processes (MDPs) are standard models in ...
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
∙
09/10/2018
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
The maximum reachability probabilities in a Markov decision process can ...
research
∙
07/25/2018