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

187 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

119 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

54 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

34 downloads
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications
Bruno Lacerda, David Parker & Nick Hawes, 20 Jul 2015, Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15). Yang, Q. & Wooldridge, M. (eds.). Association for the Advancement of Artificial Intelligence, p. 1587-1593

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

9 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

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)