Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments.
David GundanaHadas Kress-GazitPublished in: IEEE Robotics Autom. Lett. (2022)
Keyphrases
- temporal logic
- complex environments
- model checking
- modal logic
- sequential decision tasks
- satisfiability problem
- concurrent systems
- linear temporal logic
- mazurkiewicz traces
- transition systems
- reactive systems
- verification method
- learning agents
- autonomous agents
- computation tree logic
- temporal knowledge
- belief revision
- multi agent
- multiple tasks
- data flow
- automata theoretic
- regular expressions