Comparing disjunctive modal transition systems with an one-selecting variant.

Harald Fecher Heiko Schmidt

Published in: J. Log. Algebraic Methods Program. (2008)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
model checker
dynamic programming
modal logic
reactive systems
learning algorithm
markov chain
petri net