Scholar
Bruno Lacerda
Google Scholar ID: k9XjG_MAAAAJ
Oxford Robotics Institute - University of Oxford
Citations & Impact
Citations
1,519
H-index
21
i10-index
33
Publications
20
Co-authors
12
list available
Publications
Resume (English only)
Academic Achievements
- Recent publications:
- - Receding Horizon Control for Signal Temporal Logic Using Robustness-Conserving Partial Formula Evaluation
- - DetMCVI: Life-sized deterministic POMDPs can be solved quickly with high success rates and small policy sizes
- - No regrets: investigating and improving regret approximations for curriculum discovery
Research Experience
- From April 2013 to September 2017, he was a Research Fellow in Intelligent Robotics at the University of Birmingham's Intelligent Robotics Lab. He mainly worked on the STRANDS project, developing control approaches that handle uncertainties in human-populated environments and use spatio-temporal data from long-term robot deployments to improve performance.
Education
- BSc in Applied Mathematics and Computation (2007), MSc in Mathematics and Applications (2007), and PhD in Electrical and Computing Engineering (2013) from Instituto Superior Técnico.
Background
- Research interests: Investigating how formal methods can be used in robotics, particularly using temporal logic to specify and synthesize high-level controllers for robot systems with formal performance guarantees. Research areas include: Sequential Decision Making, Probabilistic Model Checking, Multi-Robot Coordination, Service Robotics, Temporal Logics, Petri Nets, Supervisory Control.
