MARTINEZ-VALENCIA, Jorge Luis; HOLGUIN-LONDONO, Mauricio  e  RAMIREZ-VANEGAS, Carlos Alberto. Methodology for the Synthesis of Automata in the Planning of Movements for Autonomous Systems with Multiple Agents. Tecnura [online]. 2021, vol.25, n.70, pp.46-70.  Epub 09-Fev-2022. ISSN 0123-921X.