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