Transition systems over games.

Paul Blain Levy Sam Staton

Published in: CSL-LICS (2014)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
game theory
control flow
model checker
fully observable
search space
knowledge based systems
data flow
reactive systems