Recent advances have shown how decision trees are apt data structures fo...
While abstraction is a classic tool of verification to scale it up, it i...
Decision tree learning is a popular classification technique most common...
Simple stochastic games are turn-based 2.5-player games with a reachabil...
For hybrid Markov decision processes, UPPAAL Stratego can compute strate...
Graph games and Markov decision processes (MDPs) are standard models in
...
Statistical model checking (SMC) is a technique for analysis of probabil...
The maximum reachability probabilities in a Markov decision process can ...
We provide a framework for speeding up algorithms for time-bounded
reach...