Bruno Lacerda
Bruno Lacerda
Oxford Robotics Institute - University of Oxford
Geverifieerd e-mailadres voor robots.ox.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1522017
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
672014
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
64*2015
Optimal policy generation for partially satisfiable co-safe LTL specifications
B Lacerda, D Parker, N Hawes
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
482015
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
332019
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
302018
Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees
B Lacerda, D Parker, NA Hawes
ICAPS, 2017
212017
Designing Petri net supervisors from LTL specifications
B Lacerda, PU Lima
Robotics: Science and Systems VII, 2011
192011
Petri net based multi-robot task coordination from temporal logic specifications
B Lacerda, PU Lima
Robotics and Autonomous Systems 122, 103289, 2019
132019
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
112019
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
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
112011
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
Multi-robot planning under uncertainty with congestion-aware models
C Street, B Lacerda, M MŘhlig, N Hawes
Proceedings of AAMAS 2020, 2020
92020
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
ECAI 2016, 1537-1545, 2016
82016
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
72014
Supervision of Discrete Event Systems Based on Temporal Logic Specifications
BFA Lacerda
Instituto Superior TÚcnico, 2013
72013
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
72011
Active inference for integrated state-estimation, control, and learning
M Baioumy, P Duckworth, B Lacerda, N Hawes
arXiv preprint arXiv:2005.05894, 2020
62020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20