Bruno Lacerda
University of Birmingham, University of Oxford, INESC TEC, Science Oxford
Papers
36
Total Citations
795
H-Index
14
About
Bruno Lacerda is a robotics researcher whose work sits at the intersection of autonomous systems, probabilistic planning, and formal verification. He is best known for his foundational contributions to long-term robot autonomy, most visibly through the STRANDS Project, a landmark initiative developing robots capable of operating independently in real-world environments over extended periods, which has accumulated nearly 200 citations and stands as one of the field's most influential deployments of autonomous service robots. Central to Lacerda's research is the application of Markov decision processes (MDPs) and linear temporal logic (LTL) to generate optimal, formally guaranteed robot policies — work that has reshaped how autonomous systems handle uncertainty and task specification. His 2014 paper on co-safe LTL specifications and subsequent studies on probabilistic verification have provided mobile robots with mathematically rigorous performance guarantees, bridging the gap between theoretical planning and real-world deployment. Beyond planning, Lacerda has expanded into multi-robot coordination, battery scheduling for long-life autonomy, active inference for robotic control, and learning from demonstration with minimal human effort. His body of work, spanning over 500 cumulative citations, reflects a sustained commitment to making robots not just capable, but reliably and verifiably intelligent in complex, dynamic environments.
Research Focus
Key Achievements
Top Papers
- 1The STRANDS Project: Long-Term Autonomy in Everyday Environments196 citations · 2017
- 2
- 3
- 4
- 5
- 6
- 7
- 8Active inference for integrated state-estimation, control, and learning33 citations · 2021
- 9A Framework for Learning From Demonstration With Minimal Human Effort32 citations · 2020
- 10