Bruno Lacerda
Bruno Lacerda
Oxford Robotics Institute - University of Oxford
Verified email at robots.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
1272017
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
562014
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
54*2015
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications.
B Lacerda, D Parker, N Hawes
IJCAI, 1587-1593, 2015
372015
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
182019
Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees
B Lacerda, D Parker, NA Hawes
AAAI Press, 2017
172017
Designing Petri net supervisors from LTL specifications
B Lacerda, PU Lima
Robotics: Science and Systems VII, 2011
172011
Simultaneous task allocation and planning under uncertainty
F Faruq, D Parker, B Laccrda, N Hawes
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018
142018
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
112015
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
112011
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
102011
Linear-time temporal logic control of discrete event models of cooperative robots
B Lacerda, P Lima
Red de Agentes Físicos, 2008
92008
Partial order temporal plan merging for mobile robot tasks
L Mudrova, B Lacerda, N Hawes
IOS Press 285 (ECAI 2016), 2016
72016
Petri net based multi-robot task coordination from temporal logic specifications
B Lacerda, PU Lima
Robotics and Autonomous Systems 122, 103289, 2019
62019
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
62014
Supervision of Discrete Event Systems Based on Temporal Logic Specifications
BFA Lacerda
Instituto Superior Técnico, 2013
62013
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
62011
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
52019
LTL plan specification for robotic tasks modelled as finite state automata
B Lacerda, PU Lima
Proc. of Workshop ADAPT–Agent Design: Advancing from Practice to Theory …, 2009
52009
Nested value iteration for partially satisfiable co-safe LTL specifications
B Lacerda, D Parker, N Hawes
AAAI Fall Symposia, 54-55, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20