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
1392017
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
632014
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
57*2015
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications.
B Lacerda, D Parker, N Hawes
IJCAI, 1587-1593, 2015
412015
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
272019
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
262018
Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees
B Lacerda, D Parker, NA Hawes
ICAPS, 2017
192017
Designing Petri net supervisors from LTL specifications
B Lacerda, PU Lima
Robotics: Science and Systems VII, 2011
192011
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
122015
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
Petri net based multi-robot task coordination from temporal logic specifications
B Lacerda, PU Lima
Robotics and Autonomous Systems 122, 103289, 2019
102019
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
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
62011
Active inference for integrated state-estimation, control, and learning
M Baioumy, P Duckworth, B Lacerda, N Hawes
arXiv preprint arXiv:2005.05894, 2020
52020
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20