Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus.

Catalin Dima Bastien Maubert Sophie Pinchinat

Published in: MFCS (1) (2015)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
reactive systems
practical reasoning
model checker
shortest path
modal logic
multi agent
markov chain
formal specification
formal verification
fully observable