Login / Signup
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.
Ralf Wimmer
Bernd Becker
Nils Jansen
Erika Ábrahám
Joost-Pieter Katoen
Published in:
MBMV (2012)
Keyphrases
</>
markov chain
data sets
real world
wide range
databases
data mining
image processing
website
similarity measure
model checking
desirable properties