Enforcing opacity of regular predicates on modal transition systems.

Philippe Darondeau

Published in: WODES (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
model checker
learning algorithm
multi agent
markov chain
modal logic