[1]
Carlos Azevedo,
Bruno Lacerda, Nick Hawes,
Pedro Lima "Long-Run Multi-Robot Planning under Uncertain Action Durations for Persistent Tasks", 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2020), Las Vegas, NV, USA,, 2020
[2]
Carlos Azevedo,
Bruno Lacerda, Nick Hawes,
Pedro Lima "Long-run multi-robot planning with uncertain task durations (Extended Abstract)", Proc. of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS2020), New Zealand, 2020
[3]
Bruno Lacerda,
Pedro Lima "Designing Petri Net Supervisors for Multi-Agent Systems from LTL Specifications (Extended Abstract)", Proc. of AAMAS 2011 - 10th International Conference on Autonomous Agents and Multiagent Systems, Taipei, Taiwan, 2011
[4]
Pedro Lima,
Bruno Lacerda "LTL-Based Decentralized Supervisory Control of Multi-Robot Tasks Modelled as Petri Nets", Proc. of IROS 2011 - IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, CA, USA, 2011
[5]
Bruno Lacerda,
Pedro Lima, J. Gorostiza, M. A. Salichs
"Petri Net Based Supervisory Control of a Social Robot with LTL Specifications", Proc. of ROBOTICA 2011 - 11th International Conference On Mobile Robots And Competitions, Lisboa, Portugal, 2011
[6]
Bruno Lacerda,
Pedro Lima "Designing Petri Net Supervisors from LTL Specifications", Proc. of the 2011 Robotics: Science and Systems Conference, Los Angeles, CA, USA, 2011
[7]
Bruno Lacerda,
Pedro Lima "Petri Nets as an Analysis Tool For Data Flow in Wireless Sensor Networks", Proc. of CNRS 2011 - 1st Portuguese Conference on Wireless Sensor Networks, Coimbra, Portugal, 2011
[8]
Pedro Lima,
Bruno Lacerda "LTL Plan Specification for Robotic Tasks Modelled as Finite State Automata", Proc. of Workshop ADAPT - Agent Design: Advancing from Practice to Theory, AAMAS 2009 - the 8th International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary, 2009
