Sign in
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking.
Blake C. Rawlings
Stéphane Lafortune
B. Erik Ydstie
Published in:
IEEE Trans. Control. Syst. Technol. (2020)
Keyphrases
</>
symbolic model checking
model checking
transition systems
supervisory control
model checker
temporal logic
data acquisition
formal verification
finite state
formal specification
ai planning
planning domains
real time
dynamic environments
state space
data analysis
machine learning