Propositional Temporal Logic for planning in an embedded Concurrent Autonomous Agent.

Diego Stfano F. Ferreira, Priscila S. Martins, Andr Gustavo Scolari Conceio, Augusto Loureiro da Costa

Browse the full ICRA paper archive.