6 citations · 12 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 3 cited
Ioco Theory for Probabilistic Automata
Marcus Gerhold, Mariëlle Stoelinga
Model-based testing (MBT) is a well-known technology, which allows for automatic test case generation, execution and evaluation. To test non-functional properties, a number of test…
cs.LO2010★ 6 cited
Confluence Reduction for Probabilistic Systems (extended version)
Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We prov…