: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems.
Yiannis KantarosMichael M. ZavlanosPublished in: CoRR (2018)
Keyphrases
- optimal control
- temporal logic
- dynamic programming
- learning algorithm
- multi robot systems
- model checking
- objective function
- verification method
- multi robot
- particle swarm optimization
- np hard
- search space
- mathematical model
- knapsack problem
- search algorithm
- infinite horizon
- control problems
- optimal solution
- multi agent