Login / Signup
On determinism in modal transition systems.
Nikola Benes
Jan Kretínský
Kim Guldstrand Larsen
Jirí Srba
Published in:
Theor. Comput. Sci. (2009)
Keyphrases
</>
transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
model checker
artificial intelligence
markov chain
modal logic
formal methods
reactive systems