11 citations · 37 across the 18 of their papers we have counts for
1 paper · 2 filters
Thorsten Wißmann, Stefan Milius, Lutz Schröder
We provide a generic algorithm for constructing formulae that distinguish behaviourally inequivalent states in systems of various transition types such as nondeterministic, probabi…