Bruno Lacerda
Bruno Lacerda
Oxford Robotics Institute - University of Oxford
Verified email at - Homepage
Cited by
Cited by
The strands project: Long-term autonomy in everyday environments
N Hawes, C Burbridge, F Jovan, L Kunze, B Lacerda, L Mudrova, J Young, ...
IEEE Robotics & Automation Magazine 24 (3), 146-156, 2017
Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications
B Lacerda, D Parker, N Hawes
Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ Internationalá…, 2014
Now or later? predicting and maximising success of navigation actions from long-term experience
J Pulido Fentanes, B Lacerda, T Krajnik, N Hawes, M Hanheide
ICRA, 2015
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications.
B Lacerda, D Parker, N Hawes
IJCAI, 1587-1593, 2015
Probabilistic planning with formal performance guarantees for mobile service robots
B Lacerda, F Faruq, D Parker, N Hawes
The International Journal of Robotics Research, 2019
Simultaneous task allocation and planning under uncertainty
F Faruq, D Parker, B Lacerda, N Hawes
2018 IEEE/RSJ International Conference on Intelligent Robots and Systemsá…, 2018
Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees
B Lacerda, D Parker, NA Hawes
ICAPS, 2017
Designing Petri net supervisors from LTL specifications
B Lacerda, PU Lima
Robotics: Science and Systems VII, 2011
An integrated control framework for long-term autonomy in mobile service robots
L Mudrova, B Lacerda, N Hawes
2015 European Conference on Mobile Robots (ECMR), 1-6, 2015
LTL-based decentralized supervisory control of multi-robot tasks modelled as Petri nets
B Lacerda, PU Lima
2011 IEEE/RSJ International Conference on Intelligent Robots and Systemsá…, 2011
Petri nets as an analysis tool for data flow in wireless sensor networks
B Lacerda, PU Lima
1st Portuguese Conference on WSNs, Coimbra, Portugal, 1-6, 2011
Petri net based multi-robot task coordination from temporal logic specifications
B Lacerda, PU Lima
Robotics and Autonomous Systems 122, 103289, 2019
Linear-time temporal logic control of discrete event models of cooperative robots
B Lacerda, P Lima
Red de Agentes FÝsicos, 2008
Multi-Robot Planning Under Uncertain Travel Times and Safety Constraints
M Mansouri, B Lacerda, N Hawes, F Pecora
The 28th International Joint Conference on Artificial Intelligence, 2019
Partial order temporal plan merging for mobile robot tasks
L Mudrova, B Lacerda, N Hawes
IOS Press 285 (ECAI 2016), 2016
On the Notion of Uncontrollable Marking in Supervisory Control of Petri Nets
B Lacerda, PU Lima
IEEE Transactions on Automatic Control 59 (11), 3069 - 3074, 2014
Supervision of Discrete Event Systems Based on Temporal Logic Specifications
BFA Lacerda
Instituto Superior TÚcnico, 2013
Designing petri net supervisors for multi-agent systems from LTL specifications
B Lacerda, PU Lima
The 10th International Conference on Autonomous Agents and Multiagentá…, 2011
Multi-robot planning under uncertainty with congestion-aware models
C Street, B Lacerda, M MŘhlig, N Hawes
Proceedings of AAMAS 2020, 2020
Active inference for integrated state-estimation, control, and learning
M Baioumy, P Duckworth, B Lacerda, N Hawes
arXiv preprint arXiv:2005.05894, 2020
The system can't perform the operation now. Try again later.
Articles 1–20