Designing petri net supervisors for multi-agent systems from LTL specifications. - Bruno Lacerda; Pedro U. Lima (AAMAS, 2011)

LTL-based decentralized supervisory control of multi-robot tasks modelled as Petri nets. - Bruno Lacerda; Pedro U. Lima (IROS, 2011)

Designing Petri Net Supervisors from LTL Specifications. - Bruno Lacerda; Pedro U. Lima (Robotics: Science and Systems, 2011)

Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications. - Bruno Lacerda; David Parker 001; Nick Hawes (IROS, 2014)

On the Notion of Uncontrollable Marking in Supervisory Control of Petri Nets. - Bruno Lacerda; Pedro U. Lima (IEEE Trans. Autom. Control., 2014)

Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract). - Bruno Lacerda; David Parker 001; Nick Hawes (AAAI Fall Symposia, 2015)

An integrated control framework for long-term autonomy in mobile service robots. - Lenka Mudrová; Bruno Lacerda; Nick Hawes (ECMR, 2015)

Now or later? Predicting and maximising success of navigation actions from long-term experience. - Jaime Pulido Fentanes; Bruno Lacerda; Tomás Krajník; Nick Hawes; Marc Hanheide (ICRA, 2015)

Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. - Bruno Lacerda; David Parker 001; Nick Hawes (IJCAI, 2015)

Partial Order Temporal Plan Merging for Mobile Robot Tasks. - Lenka Mudrová; Bruno Lacerda; Nick Hawes (ECAI, 2016)

Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees. - Bruno Lacerda; David Parker 001; Nick Hawes (ICAPS, 2017)

The STRANDS Project: Long-Term Autonomy in Everyday Environments. - Nick Hawes; Christopher Burbridge; Ferdian Jovan; Lars Kunze; Bruno Lacerda; Lenka Mudrová; Jay Young; Jeremy L. Wyatt; Denise Hebesberger; Tobias Körtner; Rares Ambrus; Nils Bore; et al. (IEEE Robotics Autom. Mag., 2017)

Simultaneous Task Allocation and Planning Under Uncertainty. - Fatma Faruq; David Parker 001; Bruno Lacerda; Nick Hawes (IROS, 2018)

Battery Charge Scheduling in Long-Life Autonomous Mobile Robots. - Milan Tomy; Bruno Lacerda; Nick Hawes; Jeremy L. Wyatt (ECMR, 2019)

Multi-Robot Planning Under Uncertain Travel Times and Safety Constraints. - Masoumeh Mansouri; Bruno Lacerda; Nick Hawes; Federico Pecora (IJCAI, 2019)

Probabilistic planning with formal performance guarantees for mobile service robots. - Bruno Lacerda; Fatma Faruq; David Parker 001; Nick Hawes (Int. J. Robotics Res., 2019)

Petri net based multi-robot task coordination from temporal logic specifications. - Bruno Lacerda; Pedro U. Lima (Robotics Auton. Syst., 2019)

Convex Hull Monte-Carlo Tree-Search. - Michael Painter; Bruno Lacerda; Nick Hawes (ICAPS, 2020)

Long-Run Multi-Robot Planning With Uncertain Task Durations. - Carlos Azevedo; Bruno Lacerda; Nick Hawes; Pedro U. Lima (AAMAS, 2020)

Multi-Robot Planning Under Uncertainty with Congestion-Aware Models. - Charlie Street; Bruno Lacerda; Manuel Mühlig; Nick Hawes (AAMAS, 2020)

Time-Bounded Mission Planning in Time-Varying Domains with Semi-MDPs and Gaussian Processes. - Paul Duckworth; Bruno Lacerda; Nick Hawes (CoRL, 2020)

Long-Run Multi-Robot Planning under Uncertain Action Durations for Persistent Tasks. - Carlos Azevedo; Bruno Lacerda; Nick Hawes; Pedro U. Lima (IROS, 2020)

Markov Decision Processes with Unknown State Feature Values for Safe Exploration using Gaussian Processes. - Matthew Budd; Bruno Lacerda; Paul Duckworth; Andrew West; Barry Lennox; Nick Hawes (IROS, 2020)

A Framework for Learning From Demonstration With Minimal Human Effort. - Marc Rigter; Bruno Lacerda; Nick Hawes (IEEE Robotics Autom. Lett., 2020)

Battery charge scheduling in long-life autonomous mobile robots via multi-objective decision making under uncertainty. - Milan Tomy; Bruno Lacerda; Nick Hawes; Jeremy L. Wyatt (Robotics Auton. Syst., 2020)

Minimax Regret Optimisation for Robust Planning in Uncertain Markov Decision Processes. - Marc Rigter; Bruno Lacerda; Nick Hawes (AAAI, 2021)

Risk-Aware Motion Planning in Partially Known Environments. - Fernando S. Barbosa; Bruno Lacerda; Paul Duckworth; Jana Tumova; Nick Hawes (CDC, 2021)

Motion Planning in Uncertain Environments with Rapidly-Exploring Random Markov Decision Processes. - Alex Rutherford; Paul Duckworth; Nick Hawes; Bruno Lacerda (ECMR, 2021)

Active Inference for Integrated State-Estimation, Control, and Learning. - Mohamed Baioumy; Paul Duckworth; Bruno Lacerda; Nick Hawes (ICRA, 2021)

Risk-Averse Bayes-Adaptive Reinforcement Learning. - Marc Rigter; Bruno Lacerda; Nick Hawes (NeurIPS, 2021)

On Solving a Stochastic Shortest-Path Markov Decision Process as Probabilistic Inference. - Mohamed Baioumy; Bruno Lacerda; Paul Duckworth; Nick Hawes (PKDD/ECML Workshops (1), 2021)

Lexicographic Optimisation of Conditional Value at Risk and Expected Value for Risk-Averse Planning in MDPs. - Marc Rigter; Paul Duckworth; Bruno Lacerda; Nick Hawes (CoRR, 2021)

Planning for Risk-Aversion and Expected Value in MDPs. - Marc Rigter; Paul Duckworth; Bruno Lacerda; Nick Hawes (ICAPS, 2022)

Negotiated Path Planning for Non-Cooperative Multi-Robot Systems. - Anna Gautier; Alex Stephens; Bruno Lacerda; Nick Hawes; Michael J. Wooldridge (AAMAS, 2022)

Context-Aware Modelling for Multi-Robot Systems Under Uncertainty. - Charlie Street; Bruno Lacerda; Michal Staniaszek; Manuel Mühlig; Nick Hawes (AAMAS, 2022)

Bayesian Reinforcement Learning for Single-Episode Missions in Partially Unknown Environments. - Matthew Budd; Paul Duckworth; Nick Hawes; Bruno Lacerda (CoRL, 2022)

Shared Autonomy Systems with Stochastic Operator Models. - Clarissa Costen; Marc Rigter; Bruno Lacerda; Nick Hawes (IJCAI, 2022)

Probabilistic Planning for AUV Data Harvesting from Smart Underwater Sensor Networks. - Matthew Budd; Georgios Salavasidis; Izzat Karnarudzaman; Catherine A. Harris; Alexander B. Phillips; Paul Duckworth; Nick Hawes; Bruno Lacerda (IROS, 2022)

RAMBO-RL: Robust Adversarial Model-Based Offline Reinforcement Learning. - Marc Rigter; Bruno Lacerda; Nick Hawes (NeurIPS, 2022)

Decision-making under uncertainty for multi-robot systems. - Bruno Lacerda; Anna Gautier; Alex Rutherford; Alex Stephens; Charlie Street; Nick Hawes (AI Commun., 2022)

Congestion-Aware Policy Synthesis for Multirobot Systems. - Charlie Street; Sebastian Pütz; Manuel Mühlig; Nick Hawes; Bruno Lacerda (IEEE Trans. Robotics, 2022)

Planning with Hidden Parameter Polynomial MDPs. - Clarissa Costen; Marc Rigter; Bruno Lacerda; Nick Hawes (AAAI, 2023)

Multi-Unit Auctions for Allocating Chance-Constrained Resources. - Anna Gautier; Bruno Lacerda; Nick Hawes; Michael J. Wooldridge (AAAI, 2023)

Risk-Constrained Planning for Multi-Agent Systems with Shared Resources. - Anna Gautier; Marc Rigter; Bruno Lacerda; Nick Hawes; Michael J. Wooldridge (AAMAS, 2023)

Reinforcement Learning for Bandits with Continuous Actions and Large Context Spaces. - Paul Duckworth; Katherine A. Vallis; Bruno Lacerda; Nick Hawes (ECAI, 2023)

Difficulty-Aware Time-Bounded Planning Under Uncertainty for Large-Scale Robot Missions. - Michal Staniaszek; Lara Brudermüller; Raunak Bhattacharyya; Bruno Lacerda; Nick Hawes (ECMR, 2023)

Variable Autonomy for Human-Robot Teaming (VAT). - Manolis Chiou; Serena Booth; Bruno Lacerda; Andreas Theodorou; Simon Rothfuß (HRI (Companion), 2023)

Monte Carlo Tree Search with Boltzmann Exploration. - Michael Painter; Mohamed Baioumy; Nick Hawes; Bruno Lacerda (NeurIPS, 2023)

One Risk to Rule Them All: A Risk-Sensitive Perspective on Model-Based Offline Reinforcement Learning. - Marc Rigter; Bruno Lacerda; Nick Hawes (NeurIPS, 2023)

Formal Modelling for Multi-Robot Systems Under Uncertainty. - Charlie Street; Masoumeh Mansouri; Bruno Lacerda (CoRR, 2023)

JaxMARL: Multi-Agent RL Environments in JAX. - Alexander Rutherford; Benjamin Ellis; Matteo Gallici; Jonathan Cook 004; Andrei Lupu; Garðar Ingvarsson; Timon Willi; Akbir Khan; Christian Schröder de Witt; Alexandra Souly; Saptarashmi Bandyopadhyay; Mikayel Samvelyan; et al. (CoRR, 2023)

Stop! Planner Time: Metareasoning for Probabilistic Planning Using Learned Performance Profiles. - Matthew Budd; Bruno Lacerda; Nick Hawes (AAAI, 2024)

Multi-Robot Allocation of Assistance from a Shared Uncertain Operator. - Clarissa Costen; Anna Gautier; Nick Hawes; Bruno Lacerda (AAMAS, 2024)

JaxMARL: Multi-Agent RL Environments and Algorithms in JAX. - Alexander Rutherford; Benjamin Ellis; Matteo Gallici; Jonathan Cook 004; Andrei Lupu; Garðar Ingvarsson; Timon Willi; Akbir Khan; Christian Schröder de Witt; Alexandra Souly; Saptarashmi Bandyopadhyay; Mikayel Samvelyan; et al. (AAMAS, 2024)

Hierarchical Planning for Resource-Constrained Long-Term Monitoring Missions in Time-Varying Environments. - Alex Stephens; Bruno Lacerda; Nick Hawes (ECAI, 2024)

Planning for Long-Term Monitoring Missions in Time-Varying Environments. - Alex Stephens; Bruno Lacerda; Nick Hawes (IROS, 2024)

No Regrets: Investigating and Improving Regret Approximations for Curriculum Discovery. - Alexander Rutherford; Michael Beukman; Timon Willi; Bruno Lacerda; Nick Hawes; Jakob N. Foerster (NeurIPS, 2024)

JaxMARL: Multi-Agent RL Environments and Algorithms in JAX. - Alexander Rutherford; Benjamin Ellis; Matteo Gallici; Jonathan Cook 004; Andrei Lupu; Garðar Ingvarsson; Timon Willi; Ravi Hammond; Akbir Khan; Christian Schröder de Witt; Alexandra Souly; Saptarashmi Bandyopadhyay; et al. (NeurIPS, 2024)

Editorial: Variable autonomy for human-robot teaming. - Andreas Theodorou; Manolis Chiou; Bruno Lacerda; Simon Rothfuß (Frontiers Robotics AI, 2024)

Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty. - Charlie Street; Bruno Lacerda; Manuel Mühlig; Nick Hawes (J. Artif. Intell. Res., 2024)

Planning under uncertainty for safe robot exploration using Gaussian process prediction. - Alex Stephens; Matthew Budd; Michal Staniaszek; Benoit Casseau; Paul Duckworth; Maurice F. Fallon; Nick Hawes; Bruno Lacerda (Auton. Robots, 2024)

Correction: Planning under uncertainty for safe robot exploration using gaussian process prediction. - Alex Stephens; Matthew Budd; Michal Staniaszek; Benoit Casseau; Paul Duckworth; Maurice F. Fallon; Nick Hawes; Bruno Lacerda (Auton. Robots, 2024)

A Framework for Simultaneous Task Allocation and Planning under Uncertainty. - Fatma Faruq; Bruno Lacerda; Nick Hawes; David Parker 001 (ACM Trans. Auton. Adapt. Syst., 2024)

Time-bounded planning with uncertain task duration distributions. - Michal Staniaszek; Lara Brudermüller; Yang You 003; Raunak Bhattacharyya; Bruno Lacerda; Nick Hawes (Robotics Auton. Syst., 2025)

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic. - Roland B. Ilyes; Lara Brudermüller; Nick Hawes; Bruno Lacerda (CoRR, 2025)

Return Capping: Sample-Efficient CVaR Policy Gradient Optimisation. - Harry Mead; Clarissa Costen; Bruno Lacerda; Nick Hawes (CoRR, 2025)

A Finite-State Controller Based Offline Solver for Deterministic POMDPs. - Alex Schutz; Yang You 003; Matías Mattamala; Ipek Caliskanelli; Bruno Lacerda; Nick Hawes (CoRR, 2025)