1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Kevin van de Glind, Matthias Volk, Tim Willemse
Analysis of Markov models is of high importance for formal verification. Until now, analysis of Markov Automata required them to be fully specified, which is a considerable restric…