Supervisory control theory in epistemic temporal logic.

Guillaume Aucher

Published in: AAMAS (2014)

Keyphrases

temporal logic
computation tree logic
model checking
supervisory control
modal operators
modal logic
epistemic logic
verification method
linear temporal logic
power grid
transition systems
high speed
data acquisition
belief revision
mazurkiewicz traces
model checker
discrete event
formal methods
decision making