Pedro Manuel Urbano de Almeida Lima
AuthID: R-000-EX7
121
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
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
Scopus IN MY: 
ORCID
ORCID122
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
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
Scopus IN MY: ORCID
ORCID123
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
AUTHORS: João Santos; Pedro Lima;
PUBLISHED: 2010, SOURCE: RoboCup 2009: Robot Soccer World Cup XIII - Lecture Notes in Computer Science
124
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
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
125
TITLE: Petri Net Robotic Task Plan Representation: Modelling, Analysis and Execution
AUTHORS: Hugo Costelha ; Pedro Lim;
PUBLISHED: 2010, SOURCE: Autonomous Agents
AUTHORS: Hugo Costelha ; Pedro Lim;
PUBLISHED: 2010, SOURCE: Autonomous Agents
126
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; ...More
PUBLISHED: 2009, SOURCE: 16th IEEE/NPSS Real-Time Conference in 2009 16TH IEEE-NPSS REAL TIME CONFERENCE
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; ...More
PUBLISHED: 2009, SOURCE: 16th IEEE/NPSS Real-Time Conference in 2009 16TH IEEE-NPSS REAL TIME CONFERENCE
127
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
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
Scopus IN MY: ORCID
ORCID128
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
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
Scopus DBLP IN MY: ORCID
ORCID129
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
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
Scopus IN MY: ORCID
ORCID130
TITLE: Linear-time temporal logic control of discrete event models of cooperative robots
AUTHORS: Bruno Lacerda; Pedro Lima;
PUBLISHED: 2008, SOURCE: Journal of Physical Agents, VOLUME: 2, ISSUE: 1
AUTHORS: Bruno Lacerda; Pedro Lima;
PUBLISHED: 2008, SOURCE: Journal of Physical Agents, VOLUME: 2, ISSUE: 1
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID