Parametric Modal Transition Systems.

Nikola Benes Jan Kretínský Kim G. Larsen Mikael H. Møller Jirí Srba

Published in: ATVA (2011)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
modal logic
model checker
formal verification
reactive systems
fully observable
distributed systems
formal specification
artificial intelligence
partial observability
markov chain