An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis.

Xusheng Luo Yiannis Kantaros Michael M. Zavlanos

Published in: CoRR (2019)

Keyphrases

temporal logic
optimal control
multi robot
verification method
dynamic programming
mathematical model
model checking
potential field
machine learning
image sequences
path planning
control strategy
control problems