: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems.

Yiannis Kantaros Michael M. Zavlanos

Published in: Int. J. Robotics Res. (2020)

Keyphrases

optimal control
temporal logic
dynamic programming
multi robot
learning algorithm
np hard
verification method
objective function
multi agent
control problems
ant colony algorithm
ant colony optimization
multi robot systems
path finding
neural network
expectation maximization
optimal solution
genetic algorithm