Enforcing opacity of regular predicates on modal transition systems.

Philippe Darondeau Hervé Marchand S. Laurie Ricker

Published in: Discret. Event Dyn. Syst. (2015)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
markov decision processes
linear programming
test set
modal logic
data flow
artificial intelligence
formal methods
model checker
fully observable
dynamic programming