| 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 | 152 | 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 | 67 | 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 | 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 | 48 | 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 | 33 | 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 | 30 | 2018 |
| Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees B Lacerda, D Parker, NA Hawes ICAPS, 2017 | 21 | 2017 |
| Designing Petri net supervisors from LTL specifications B Lacerda, PU Lima Robotics: Science and Systems VII, 2011 | 19 | 2011 |
| Petri net based multi-robot task coordination from temporal logic specifications B Lacerda, PU Lima Robotics and Autonomous Systems 122, 103289, 2019 | 13 | 2019 |
| 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 | 11 | 2019 |
| 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 | 11 | 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 | 11 | 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 | 11 | 2011 |
| Multi-robot planning under uncertainty with congestion-aware models C Street, B Lacerda, M Mühlig, N Hawes Proceedings of AAMAS 2020, 2020 | 9 | 2020 |
| Linear-time temporal logic control of discrete event models of cooperative robots B Lacerda, P Lima Red de Agentes Físicos, 2008 | 9 | 2008 |
| Partial order temporal plan merging for mobile robot tasks L Mudrova, B Lacerda, N Hawes ECAI 2016, 1537-1545, 2016 | 8 | 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 | 7 | 2014 |
| Supervision of Discrete Event Systems Based on Temporal Logic Specifications BFA Lacerda Instituto Superior Técnico, 2013 | 7 | 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 | 7 | 2011 |
| Active inference for integrated state-estimation, control, and learning M Baioumy, P Duckworth, B Lacerda, N Hawes arXiv preprint arXiv:2005.05894, 2020 | 6 | 2020 |
Nick HawesOxford Robotics Institute, University of OxfordEmail confirmado em robots.ox.ac.uk
