Biography
Bruno is a Senior Researcher in Robotics at the Oxford Robotics Institute. His research interests are in investigating how formal methods can be used in robotics, in particular, how temporal logic can be used to specify and synthesise high-level controllers for robot systems, with formal performance guarantees. His research interests include:
- Sequential Decision Making
- Probabilistic Model Checking
- Multi-Robot Coordination
- Service Robotics
- Temporal Logics
- Petri Nets
- Supervisory Control
Bruno’s academic degrees were awarded by Instituto Superior Técnico. He has a BSc in Applied Mathematics and Computation (2007), an MSc in Mathematics and Applications (2007), and a PhD in Electrical and Computing Engineering (2013).
From April 2013 to September 2017, he was a Research Fellow in Intelligent Robotics at the Intelligent Robotics Lab of the University of Birmingham. He mainly worked within the STRANDS (Spatio-Temporal Representations and Activities for Cognitive Control in Long-Term Scenarios) project where he developed control approaches that both handle the inherent uncertainties of human populated environments, and take advantage of the spatio-temporal data obtained from the long term deployment of robot systems to improve their performance.
Visit Bruno’s personal page or Google Scholar profile.
Recent Publications
Hierarchical planning for resource-constrained long-term monitoring missions in time-varying environments
Stephens R, Lacerda B & Hawes N (2024), ECAI 2024, 1214-1221
BibTeX
@inproceedings{hierarchicalpla-2024/10,
title={Hierarchical planning for resource-constrained long-term monitoring missions in time-varying environments},
author={Stephens R, Lacerda B & Hawes N},
booktitle={27th European Conference on Artificial Intelligence (ECAI 2024)},
pages={1214-1221},
year = "2024"
}
Planning under uncertainty for safe robot exploration using Gaussian process prediction
Stephens A, Budd M, Staniaszek M, Casseau B, Duckworth P et al. (2024), Autonomous Robots, 48(7)
BibTeX
@article{planningunderun-2024/8,
title={Planning under uncertainty for safe robot exploration using Gaussian process prediction},
author={Stephens A, Budd M, Staniaszek M, Casseau B, Duckworth P et al.},
journal={Autonomous Robots},
volume={48},
number={18},
publisher={Springer},
year = "2024"
}
Multi-robot allocation of assistance from a shared uncertain operator
Costen C, Gautier A, Hawes N & Lacerda B (2024), Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), 400-408
BibTeX
@inproceedings{multirobotalloc-2024/5,
title={Multi-robot allocation of assistance from a shared uncertain operator},
author={Costen C, Gautier A, Hawes N & Lacerda B},
booktitle={23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024)},
pages={400-408},
year = "2024"
}
A framework for simultaneous task allocation and planning under uncertainty
Faruq F, Lacerda B, Hawes N & Parker D (2024), ACM Transactions on Autonomous and Adaptive Systems, 19(4)
BibTeX
@article{aframeworkforsi-2024/5,
title={A framework for simultaneous task allocation and planning under uncertainty},
author={Faruq F, Lacerda B, Hawes N & Parker D},
journal={ACM Transactions on Autonomous and Adaptive Systems},
volume={19},
number={21},
publisher={Association for Computing Machinery},
year = "2024"
}
One risk to rule them all: a risk-sensitive perspective on model-based offline reinforcement learning
Rigter M, Lacerda B & Hawes N (2024), Advances in Neural Information Processing Systems 36 (NeurIPS 2023)
BibTeX
@inproceedings{onerisktoruleth-2024/2,
title={One risk to rule them all: a risk-sensitive perspective on model-based offline reinforcement learning},
author={Rigter M, Lacerda B & Hawes N},
booktitle={37th Conference on Neural Information Processing Systems (NeurIPS 2023)},
year = "2024"
}
Right place, right time: proactive multi-robot task allocation under spatiotemporal uncertainty
Street C, Lacerda B, M??hlig M & Hawes N (2024), Journal of Artificial Intelligence Research, 79, 137-171
BibTeX
@article{rightplaceright-2024/1,
title={Right place, right time: proactive multi-robot task allocation under spatiotemporal uncertainty},
author={Street C, Lacerda B, M??hlig M & Hawes N},
journal={Journal of Artificial Intelligence Research},
volume={79},
pages={137-171},
publisher={AI Access Foundation},
year = "2024"
}
JaxMARL: Multi-Agent RL Environments in JAX
Rutherford A, Ellis B, Gallici M, Cook J, Lupu A et al. (2023)
BibTeX
@misc{jaxmarlmultiage-2023/11,
title={JaxMARL: Multi-Agent RL Environments in JAX},
author={Rutherford A, Ellis B, Gallici M, Cook J, Lupu A et al.},
year = "2023"
}
Reinforcement learning for bandits with continuous actions and large context spaces
Duckworth P, Vallis KA, Lacerda B & Hawes N (2023), ECAI 2023, 590-597
BibTeX
@inproceedings{reinforcementle-2023/9,
title={Reinforcement learning for bandits with continuous actions and large context spaces},
author={Duckworth P, Vallis KA, Lacerda B & Hawes N},
booktitle={26th European Conference on Artificial Intelligence (ECAI 2023)},
pages={590-597},
year = "2023"
}
Difficulty-aware time-bounded planning under uncertainty for large-scale robot missions
Staniaszek M, Bruderm??ller L, Bhattacharyya R, Lacerda B & Hawes N (2023), 2023 European Conference on Mobile Robots (ECMR), 1-7
BibTeX
@inproceedings{difficultyaware-2023/9,
title={Difficulty-aware time-bounded planning under uncertainty for large-scale robot missions},
author={Staniaszek M, Bruderm??ller L, Bhattacharyya R, Lacerda B & Hawes N},
booktitle={11th European Conference on Mobile Robots (ECMR 2023)},
pages={1-7},
year = "2023"
}
Formal modelling for multi-robot systems under uncertainty
Street C, Mansouri M & Lacerda B (2023), Current Robotics Reports, 4(3), 55-64
BibTeX
@article{formalmodelling-2023/8,
title={Formal modelling for multi-robot systems under uncertainty},
author={Street C, Mansouri M & Lacerda B},
journal={Current Robotics Reports},
volume={4},
pages={55-64},
publisher={Springer Nature},
year = "2023"
}
