The quest for minimal quotients for probabilistic and Markov automata. | 0 | 0.34 | 2018 |
Lattice Structures For Bisimilar Probabilistic Automata | 0 | 0.34 | 2014 |
Symbolic counterexample generation for large discrete-time Markov chains. | 7 | 0.44 | 2014 |
Some notes on the abstraction operation for multi-terminal binary decision diagrams | 0 | 0.34 | 2014 |
The quest for minimal quotients for probabilistic automata | 11 | 0.55 | 2013 |
Symbolic Counterexample Generation for Discrete-Time Markov Chains. | 4 | 0.41 | 2012 |
Scale-Freeness of SPA models with weighted immediate actions | 0 | 0.34 | 2012 |
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA | 3 | 0.53 | 2009 |
Recent Extensions to the Stochastic Process Algebra Tool CASPA | 3 | 0.42 | 2008 |