Implicit Fixed-Time Convergence ISS Safe Control Barrier Functions for Signal Temporal Logic Tasks.
Ming LiZhiyong SunPublished in: ICCA (2022)
Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- verification method
- control signals
- linear temporal logic
- concurrent systems
- belief revision
- mazurkiewicz traces
- control system
- formal specification language
- bounded model checking
- transition systems
- query language
- temporal knowledge
- finite state
- computation tree logic
- reinforcement learning