Bruno Lacerda

(Former)

Bruno Lacerda

Research interests

  • Robotics
  • Temporal logics
  • Petri nets
  • Formal Methods
  • Discrete event systems

Keywords

View graph of relations

Most downloaded publications

The STRANDS Project: long-term autonomy in everyday environments
Nick Hawes, Chris Burbridge, Ferdi Jovan, Lars Kunze, Bruno Lacerda, Lenka Mudrova, Jay Young, Jeremy Wyatt & 13 others, , 14 Jun 2017, In: IEEE Robotics and Automation Magazine. 9 p.

Research output: Contribution to journal › Article › peer-review

232 downloads
An Integrated Control Framework for Long-Term Autonomy in Mobile Service Robots
Lenka Mudrova, Bruno Lacerda & Nick Hawes, 2015, European Conference on Mobile Robots 2015. Institute of Electrical and Electronics Engineers (IEEE), p. 164-169

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

143 downloads
Multi-robot planning under uncertain travel times and safety constraints
Masoumeh Mansouri, Bruno Lacerda, Nick Hawes, 1 Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 478-484 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

79 downloads
Partial Order Temporal Plan Merging for Mobile Robot Tasks
Lenka Mudrova, Bruno Lacerda & Nick Hawes, Sep 2016, Proceedings of 22nd European Conference on Artificial Intelligence (ECAI 2016). IOS Press, p. 1537-1545 9 p. ( Frontiers in Artificial Intelligence and Applications; vol. 285).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

42 downloads
Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications
David Parker, Bruno Lacerda & Nick Hawes, 18 Feb 2014.

Research output: Contribution to conference (unpublished) › Paper › peer-review

11 downloads

Recent publications

Multi-robot planning under uncertain travel times and safety constraints
Masoumeh Mansouri, Bruno Lacerda, Nick Hawes, 1 Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 478-484 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The STRANDS Project: long-term autonomy in everyday environments
Nick Hawes, Chris Burbridge, Ferdi Jovan, Lars Kunze, Bruno Lacerda, Lenka Mudrova, Jay Young, Jeremy Wyatt & 13 others, , 14 Jun 2017, In: IEEE Robotics and Automation Magazine. 9 p.

Research output: Contribution to journal › Article › peer-review

Multi-objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees
Bruno Lacerda, David Parker & Nick Hawes, 26 Jan 2017, (Accepted/In press) Proceedings of the twenty seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). AAAI Press, 9 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (12)