Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications.
Qi Heng HoRoland B. IlyesZachary N. SunbergMorteza LahijanianPublished in: CDC (2022)
Keyphrases
- temporal logic
- model checking
- concurrent systems
- transition systems
- model checker
- finite state machines
- bounded model checking
- reactive systems
- formal specification language
- modal logic
- satisfiability problem
- formal verification
- verification method
- linear temporal logic
- formal specification
- computation tree logic
- temporal knowledge
- linear time temporal logic
- qualitative differential equations
- dynamic constraints
- finite state
- automata theoretic
- mazurkiewicz traces