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

Catalin Dima Bastien Maubert Sophie Pinchinat

Published in: ICTCS (2016)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
shortest path
modal logic
formal specification
model checker
optimal path
reinforcement learning
data model
distributed systems