← Search

Amanda Prorok

43 accepted papers

2026

Co-Optimizing Reconfigurable Environments and Policies for Decentralized Multi-Agent Navigation

ICRA 2026poster

This work views the multi-agent system and its surrounding environment as a co-evolving system. The goal is to take agent actions and environment configurations as decision variables, and optimize both in a coordinated manner. Towards this end, we consider the problem of decentralized multi-agent na…

2026

Graph Attention-Guided Search for Dense Multi-Agent Pathfinding

AAAI 2026technical

Finding near-optimal solutions for dense multi-agent pathfinding (MAPF) problems in real-time remains challenging even for state-of-the-art planners. To this end, we develop a hybrid framework that integrates a learned heuristic derived from MAGAT, a neural MAPF policy with a graph attention scheme,

Cited by 0SourcePDFScholar
2026

Pairwise is Not Enough: Hypergraph Neural Networks for Multi-Agent Pathfinding

ICLR 2026poster

Multi-Agent Path Finding (MAPF) is a representative multi-agent coordination problem, where multiple agents are required to navigate to their respective goals without collisions. Solving MAPF optimally is known to be NP-hard, leading to the adoption of learning-based approaches to alleviate the onli…

Cited by 0SourcecodeScholar
2025

D4orm: Multi-Robot Trajectories with Dynamics-aware Diffusion Denoised Deformations

IROS 2025

This work presents an optimization method for generating kinodynamically feasible and collision-free multi-robot trajectories that exploits an incremental denoising scheme in diffusion models. Our key insight is that high-quality trajectories can be discovered merely by denoising noisy trajectories

Cited by 2SourceScholar
2025

DVM-SLAM: Decentralized Visual Monocular Simultaneous Localization and Mapping for Multi-Agent Systems

ICRA 2025

Cooperative Simultaneous Localization and Mapping (C-SLAM) enables multiple agents to work together in mapping unknown environments while simultaneously estimating their own positions. This approach enhances robustness, scalability, and accuracy by sharing information between agents, reducing drift,

Cited by 4SourceScholar
2025

Efficient Model-Based Reinforcement Learning Through Optimistic Thompson Sampling

ICLR 2025poster

Learning complex robot behavior through interactions with the environment necessitates principled exploration. Effective strategies should prioritize exploring regions of the state-action space that maximize rewards, with optimistic exploration emerging as a promising direction aligned with this ide…

Cited by 0SourcePDFScholar
2025

No-Regret Thompson Sampling for Finite-Horizon Markov Decision Processes with Gaussian Processes

NeurIPS 2025poster

Thompson sampling (TS) is a powerful and widely used strategy for sequential decision-making, with applications ranging from Bayesian optimization to reinforcement learning (RL). Despite its success, the theoretical foundations of TS remain limited, particularly in settings with complex temporal str…

Cited by 0SourceScholar
2025

ReCoDe: Reinforcement Learning-based Dynamic Constraint Design for Multi-Agent Coordination

CoRL 2025poster

Constraint-based optimization is a cornerstone of robotics, enabling the design of controllers that reliably encode task and safety requirements such as collision avoidance or formation adherence. However, handcrafted constraints can fail in multi-agent settings that demand complex coordination. We…

Cited by 0SourceScholar
2024

CoViS-Net: A Cooperative Visual Spatial Foundation Model for Multi-Robot Applications

CoRL 2024poster

Autonomous robot operation in unstructured environments is often underpinned by spatial understanding through vision. Systems composed of multiple concurrently operating robots additionally require access to frequent, accurate and reliable pose estimates. Classical vision-based methods to regress re…

Cited by 4SourceScholar
2024

Controlling Behavioral Diversity in Multi-Agent Reinforcement Learning

ICML 2024poster

The study of behavioral diversity in Multi-Agent Reinforcement Learning (MARL) is a nascent yet promising field. In this context, the present work deals with the question of how to control the diversity of a multi-agent system. With no existing approaches to control diversity to a set value, current…

2024

Provably Safe Online Multi-Agent Navigation in Unknown Environments

CoRL 2024poster

Control Barrier Functions (CBFs) provide safety guarantees for multi-agent navigation. However, traditional approaches require full knowledge of the environment (e.g., obstacle positions and shapes) to formulate CBFs and hence, are not applicable in unknown environments. This paper overcomes this is…

Cited by 1SourceScholar
2024

Recurrent Reinforcement Learning with Memoroids

NeurIPS 2024poster

Memory models such as Recurrent Neural Networks (RNNs) and Transformers address Partially Observable Markov Decision Processes (POMDPs) by mapping trajectories to latent Markov states. Neither model scales particularly well to long sequences, especially compared to an emerging class of memory models…

2024

SO(2)-Equivariant Downwash Models for Close Proximity Flight

RA-L 2024

Multirotors flying in close proximity induce aerodynamic wake effects on each other through propeller downwash. Conventional methods have fallen short of providing adequate 3D force-based models that can be incorporated into robust control paradigms for deploying dense formations. Thus, <italic xmln

Cited by 13SourceScholar
2023

Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality

ICRA 2023poster

Conflict-Based Search is one of the most popular methods for multi-agent path finding. Though it is complete and optimal, it does not scale well. Recent works have been proposed to accelerate it by introducing various heuristics. However, whether these heuristics can apply to non-grid-based problem…

Cited by 11SourceScholar
2023

Generalised f-Mean Aggregation for Graph Neural Networks

NeurIPS 2023poster

Graph Neural Network (GNN) architectures are defined by their implementations of update and aggregation modules. While many works focus on new ways to parametrise the update modules, the aggregation modules receive comparatively little attention. Because it is difficult to parametrise aggregation fu…

2023

POPGym: Benchmarking Partially Observable Reinforcement Learning

ICLR 2023poster

Real world applications of Reinforcement Learning (RL) are often partially observable, thus requiring memory. Despite this, partial observability is still largely ignored by contemporary RL benchmarks and libraries. We introduce Partially Observable Process Gym (POPGym), a two-part library containin…

2023

Reinforcement Learning with Fast and Forgetful Memory

NeurIPS 2023poster

Nearly all real world tasks are inherently partially observable, necessitating the use of memory in Reinforcement Learning (RL). Most model-free approaches summarize the trajectory into a latent Markov state using memory models borrowed from Supervised Learning (SL), even though RL tends to exhibit…

2023

See What the Robot Can't See: Learning Cooperative Perception for Visual Navigation

IROS 2023poster

We consider the problem of navigating a mobile robot towards a target in an unknown environment that is endowed with visual sensors, where neither the robot nor the sensors have access to global positioning information and only use first-person- view images. In order to overcome the need for positio…

Cited by 4SourcecodeScholar
2022

A Framework for Real-World Multi-Robot Systems Running Decentralized GNN-Based Policies

ICRA 2022poster

Graph Neural Networks (GNNs) are a paradigm-shifting neural architecture to facilitate the learning of complex multi-agent behaviors. Recent work has demonstrated remarkable performance in tasks such as flocking, multi-agent path planning and cooperative coverage. However, the policies derived throu…

Cited by 57SourceScholar
2022

Graph Neural Network Guided Local Search for the Traveling Salesperson Problem

ICLR 2022poster

Solutions to the Traveling Salesperson Problem (TSP) have practical applications to processes in transportation, logistics, and automation, yet must be computed with minimal delay to satisfy the real-time nature of the underlying tasks. However, solving large TSP instances quickly without sacrificin…

2021

Learning to Fly—a Gym Environment with PyBullet Physics for Reinforcement Learning of Multi-agent Quadcopter Control

IROS 2021poster

Robotic simulators are crucial for academic research and education as well as the development of safety-critical applications. Reinforcement learning environments— simple simulations coupled with a problem specification in the form of a reward function—are also important to standardize the developme…

Cited by 226SourcecodeScholar
2021

Message-Aware Graph Attention Networks for Large-Scale Multi-Robot Path Planning

RA-L 2021

The domains of transport and logistics are increasingly relying on autonomous mobile robots for the handling and distribution of passengers or resources. At large system scales, finding decentralized path planning and coordination solutions is key to efficient system performance. Recently, Graph Neu

Cited by 184SourcecodeScholar
2021

ModGNN: Expert Policy Approximation in Multi-Agent Systems with a Modular Graph Neural Network Architecture

ICRA 2021poster

Recent work in the multi-agent domain has shown the promise of Graph Neural Networks (GNNs) to learn complex coordination strategies. However, most current approaches use minor variants of a Graph Convolutional Network (GCN), which applies a convolution to the communication graph formed by the multi…

Cited by 30SourcecodeScholar
2020

An Adversarial Approach to Private Flocking in Mobile Robot Teams

RA-L 2020

Privacy is an important facet of defence against adversaries. In this letter, we introduce the problem of private flocking. We consider a team of mobile robots flocking in the presence of an adversary, who is able to observe all robots' trajectories, and who is interested in identifying the leader.

Cited by 31SourcecodeScholar
2020

DC-CAPT: Concurrent Assignment and Planning of Trajectories for Dubins Cars

ICRA 2020poster

We present an algorithm for the concurrent assignment and planning of collision-free trajectories (DC-CAPT) for robots whose kinematics can be modeled as Dubins cars, i.e., robots constrained in terms of their initial orientation and their minimum turning radius. Coupling the assignment and trajecto…

Cited by 3SourceScholar
2020

Graph Neural Networks for Decentralized Multi-Robot Path Planning

IROS 2020poster

Effective communication is key to successful, decentralized, multi-robot path planning. Yet, it is far from obvious what information is crucial to the task at hand, and how and when it must be shared among robots. To side-step these issues and move beyond hand-crafted heuristics, we propose a combin…

Cited by 330SourceScholar
2020

Mobile Robot Path Planning in Dynamic Environments Through Globally Guided Reinforcement Learning

RA-L 2020

Path planning for mobile robots in large dynamic environments is a challenging problem, as the robots are required to efficiently reach their given goals while simultaneously avoiding potential conflicts with other robots or dynamic objects. In the presence of dynamic obstacles, traditional solution

Cited by 321SourceScholar
2020

Multi-Robot Path Deconfliction through Prioritization by Path Prospects

ICRA 2020poster

This work deals with the problem of planning conflict-free paths for mobile robots in cluttered environments. Since centralized, coupled planning algorithms are computationally intractable for large numbers of robots, we consider decoupled planning, in which robots plan their paths sequentially in o…

Cited by 72SourceScholar
2017

A decentralized algorithm for assembling structures with modular robots

IROS 2017poster

Recent work in the field of bio-inspired robotic systems has introduced designs for modular robots that are able to assemble into structures (e.g., bridges, landing platforms, fences) using their bodies as the building components. Yet, it remains an open question as to how to program large swarms of…

Cited by 36SourceScholar
2017

Intrusion detection for stochastic task allocation in robot swarms

IROS 2017poster

We present a novel framework for integrity analysis of swarm robotic systems using the symmetric Kullback-Leibler Divergence. The objective is to understand a robot swarm's vulnerability to malicious intrusion and to develop the necessary computational tools that would detect the presence of malicio…

Cited by 6SourceScholar