Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams.
Disha KamaleCristian-Ioan VasilePublished in: ICRA (2024)
Keyphrases
- temporal logic
- optimal control
- concurrent systems
- model checking
- transition systems
- model checker
- reactive systems
- bounded model checking
- formal specification language
- dynamic programming
- robot teams
- control problems
- modal logic
- formal specification
- feedback control
- optimal control problems
- infinite horizon
- linear temporal logic
- multi robot
- control strategy
- belief revision
- reinforcement learning
- mazurkiewicz traces
- verification method
- formal verification
- computation tree logic
- temporal knowledge
- machine learning