Propositional Temporal Logic for planning in an embedded Concurrent Autonomous Agent. - Diego Stéfano F. Ferreira; Priscila S. Martins; André Gustavo Scolari Conceição; Augusto Loureiro da Costa (ICRA, 2015)