150 citations · 548 across the 51 of their papers we have counts for
4 papers · 1 filter
Stubborn Set Reduction for Two-Player Reachability Games
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen +2
Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of…
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3
The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic…
L*-Based Learning of Markov Decision Processes (Extended Version)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci +2
Automata learning techniques automatically generate system models from test observations. These techniques usually fall into two categories: passive and active. Passive learning us…
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
Pranav Ashok, Jan Křetínský, Kim Guldstrand Larsen +3
For hybrid Markov decision processes, UPPAAL Stratego can compute strategies that are safe for a given safety property and (in the limit) optimal for a given cost function. Unfortu…