Return to Article Details Methodology for the Synthesis of Automata in the Planning of Movements for Autonomous Systems with Multiple Agents Download Download PDF