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
1032017
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
532014
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
50*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
322015
Designing Petri net supervisors from LTL specifications
B Lacerda, PU Lima
Robotics: Science and Systems VII, 2011
172011
Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees
B Lacerda, D Parker, N Hawes
Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
152017
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
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
102018
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
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
92015
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
82019
Linear-time temporal logic control of discrete event models of cooperative robots
B Lacerda, P Lima
Red de Agentes Físicos, 2008
72008
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
Partial order temporal plan merging for mobile robot tasks
L Mudrova, B Lacerda, N Hawes
Proceedings of the Twenty-second European Conference on Artificial …, 2016
52016
LTL plan specification for robotic tasks modelled as finite state automata
B Lacerda, P Lima
Proc. of Workshop ADAPT–Agent Design: Advancing from Practice to Theory …, 2009
52009
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
42019
Nested value iteration for partially satisfiable co-safe LTL specifications
B Lacerda, D Parker, N Hawes
2015 AAAI Fall Symposium Series, 2015
42015
Adaptive manipulator control using active inference with precision learning
M Baioumy, M Mattamala, P Duckworth, B Lacerda, N Hawes
UKRAS20 Conference:” Robots into the real world” Proceedings, Lincoln …, 2020
22020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20