25 citations · 40 across the 8 of their papers we have counts for
1 paper · 2 filters
Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen +1
This paper studies a difference operator for stochastic systems whose specifications are represented by Abstract Probabilistic Automata (APAs). In the case refinement fails between…