
Bruno Lacerda
pomdps)
prs: planning under uncertainty
prs: planning with markov models (mdps
multi-agent path finding
ru: sequential decision making
gtep: auctions and market-based systems
planning with markov models
so: metareasoning and metaheuristics
mas: multiagent systems under uncertainty
model-based reasoning
auctions
multi-agent systems
prs: learning for planning and scheduling
planning under uncertainty
mas: multiagent planning
5
presentations
5
number of views
SHORT BIO
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. 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).
Presentations

Stop! Planner Time: Metareasoning for Probabilistic Planning Using Learned Performance Profiles | VIDEO
Matthew Budd and 2 other authors

Planning with Hidden Parameter Polynomial MDPs
Clarissa Costen and 3 other authors

Multi-Unit Auctions for Allocating Chance-Constrained Resources
Anna Gautier and 3 other authors

Negotiated Path Planning for Non-Cooperative Multi-Robot Systems
Anna Gautier and 4 other authors

Minimax Regret Optimisation for Robust Planning in Uncertain Markov Decision Processes
Marc Rigter and 2 other authors