121
TITLE: Search and Rescue Robots: The Civil Protection Teams of the Future
AUTHORS: Pedro U Lima;
PUBLISHED: 2012, SOURCE: 2012 Third International Conference on Emerging Security Technologies
INDEXED IN: CrossRef
IN MY: ORCID
122
TITLE: Designing Petri net supervisors from LTL specifications
AUTHORS: Lacerda, B; Lima, PU;
PUBLISHED: 2012, SOURCE: International Conference on Robotics Science and Systems, RSS 2011 in Robotics: Science and Systems, VOLUME: 7
INDEXED IN: Scopus
IN MY: ORCID
123
TITLE: Designing Petri net supervisors for multi-agent systems from LTL specifications
AUTHORS: Lacerda, B; Lima, PU;
PUBLISHED: 2011, SOURCE: 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 in 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011, VOLUME: 2
INDEXED IN: Scopus
IN MY: ORCID
124
TITLE: Multi-robot Cooperative Object Localization
AUTHORS: João Santos; Pedro Lima;
PUBLISHED: 2010, SOURCE: RoboCup 2009: Robot Soccer World Cup XIII - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
125
TITLE: Petri Net Plans. A framework for collaboration and coordination in multi-robot systems  Full Text
AUTHORS: Ziparo, VA; Iocchi, L; Pedro U Lima; Nardi, D; Palamara, PF;
PUBLISHED: 2010, SOURCE: Auton Agent Multi-Agent Syst - Autonomous Agents and Multi-Agent Systems, VOLUME: 23, ISSUE: 3
INDEXED IN: CrossRef
IN MY: ORCID
126
TITLE: Petri Net Robotic Task Plan Representation: Modelling, Analysis and Execution
AUTHORS: Hugo Costelha ; Pedro Lim;
PUBLISHED: 2010, SOURCE: Autonomous Agents
INDEXED IN: CrossRef: 7
127
TITLE: High-Speed Data Acquisition Electronics for a PEM Scanner
AUTHORS: Lousa, P; Almeida, FG ; Almeida, P; Bastos, AL; Bexiga, V; Bugalho, R; Carmona, S; Carrico, B; Ferreira, CS; Ferreira, NC ; Ferreira, M; Godinho, J; Concalves, F ; Lecoq, P; Leong, C; Machado, P; Matela, N ; Moura, R; Neves, P; Oliveira, N; Ortigao, C ; Piedade, F; Pinheiro, JF; Relvas, P; Rivetti, A; Rodrigues, P; Sampaio, J; Santos, AI; Tavernier, S; Teixeira, IC ; Teixeira, JP ; Pimenta, N; Martins, MC; Silva, JC; Trindade, A; Varela, J ; ...More
PUBLISHED: 2009, SOURCE: 16th IEEE/NPSS Real-Time Conference in 2009 16TH IEEE-NPSS REAL TIME CONFERENCE
INDEXED IN: Scopus WOS CrossRef: 2
128
TITLE: Modelling, analysis and execution of multi-robot tasks using Petri nets
AUTHORS: Costelha, H ; Lima, P;
PUBLISHED: 2008, SOURCE: 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOLUME: 2
INDEXED IN: Scopus
IN MY: ORCID
129
TITLE: openSDK: an open-source implementation of OPEN-R
AUTHORS: Nuno P Lopes ; Pedro U Lima;
PUBLISHED: 2008, SOURCE: 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 in 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 3, VOLUME: 2
INDEXED IN: Scopus DBLP
IN MY: ORCID
130
TITLE: A robotic soccer passing task using Petri net plans
AUTHORS: Palamara, PF; Nardi, D; Ziparo, VA; Lima, P; Iocchi, L; Costelha, H ;
PUBLISHED: 2008, SOURCE: 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOLUME: 3
INDEXED IN: Scopus
IN MY: ORCID
Page 13 of 18. Total results: 176.