Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal-Logic Tasks.
Christos K. VerginisPublished in: CoRR (2023)
Keyphrases
- temporal logic
- cooperative
- model checking
- reactive systems
- dynamic constraints
- satisfiability problem
- motion planning
- complex systems
- temporally extended goals
- distributed systems
- temporally extended
- human operators
- logical framework
- planning systems
- partial observability
- verification method
- planning problems
- modal logic
- domain independent
- mazurkiewicz traces