ICRA2025 Paper Announcements

We are excited to announce that REALM will be presenting five papers at ICRA 2025! Below you can find a brief description and dedicated project website for each paper.

Rigid Body Path Planning using Mixed-Integer Linear Programming

Mingxin Yu, Chuchu Fan
Non-REALM Affiliation: N/A

Brief Description: Our research tackles a common challenge in robotics – how to efficiently move large objects through cluttered spaces with narrow passages. While existing methods become slower and less effective as spaces get larger or more complex, we developed a new three-stage approach that breaks down the problem into manageable pieces with rigorous mathematical tools. By first creating a map of safe zones, then pre-computing possible traversing paths between them, and finally using this information to quickly plan routes, our method achieves better performance than current solutions.
Project Website: https://sites.google.com/view/realm-rigidmilp/home

  • Developed a novel three-stage planning algorithm that solves multiple small planning problems instead of one large complex optimization problem
  • Decomposed safe navigation spaces into a network of connected areas in the workspace, making it efficient in covering narrow passages
  • Formulated the traversal between regions into optimization problem, where the size of each problem doesn’t scale with the environment
  • Successfully tested and validated the approach in both 2D and 3D environments, showing better scalability as spaces become larger and better performance when narrow passages are presented.

Learning-based Bayesian Inference for Testing of Autonomous Systems

Anjali Parashar, Chuchu Fan
Non-REALM Affiliation: TBD

Brief Description: TBD
Project Website: TBD

Diverse Controllable Diffusion Policy with Signal Temporal Logic

Yue Meng, Chuchu Fan
Non-REALM Affiliation: N/A

Brief Description: Introducing a novel approach leveraging Signal Temporal Logic (STL) and diffusion models, our method generates diverse, rule-compliant trajectories for autonomous driving simulations. We first calibrate the STL on the real-world data, then generate diverse synthetic data using trajectory optimization, and finally learn the rectified diffusion policy on the augmented dataset. We test our approach on the NuScenes driving data. Achieving superior performance compared to baselines, our approach offers efficient runtime and high rule satisfaction rates.
Project Website: https://mengyuest.github.io/pSTL-diffusion-policy/

Hierarchical Framework for Solving the Constrained Multiple Depot Traveling Salesman Problem

Ruixiao Yang, Chuchu Fan
Non-REALM Affiliation: N/A

Brief Description: This work addresses the challenge of modeling energy constraints in multi-agent robotic task planning. We introduce a new problem called constrained multi-depot traveling salesman problem (CMDTSP), building upon MDTSP with realistic constraints on energy and resource consumption to avoid infeasible or unsafe solutions in practice, and propose a hierarchical framework that decomposes CMDTSP into tractable sub-problems for efficient approximation. Cities are first allocated to agents via a Minimum Spanning Tree-based heuristic, followed by efficient TSP tour generation and a lightweight Mixed-Integer Linear Programming (MILP) formulation to resolve energy constraints. Extensive evaluations on real-world roadmaps and synthetic benchmarks demonstrate the framework’s superiority, achieving a 5.22%–14.84% reduction in tour length, over 79.8x speedup compared to state-of-the-art baselines, and scalability to 1100-city instances where exact methods fail. With a mean optimality gap of 12.48%, this approach balances computational efficiency and solution quality, enabling robust, large-scale task planning for energy-constrained multi-robot systems in logistics, surveillance, and delivery applications.
Project Website: https://mit-realm.github.io/CMDTSP/

Reliable and Efficient Multi-Agent Coordination via Graph Neural Network Variational Autoencoders

Yue Meng, Nathalie Majcherczyk1, Wenliang Liu1, Scott Kiesel1, Chuchu Fan, Federico Pecora1
Non-REALM Affiliation: 1. Amazon Robotics

Brief Description: Imagine an automated warehouse where hundreds of robots work together seamlessly to complete complex tasks without collisions. Our project leverages Graph Neural Network Variational Autoencoders (GNN-VAE) to quickly generate global schedules that efficiently coordinate multi-robot movements. We recast coordination as a graph problem by gathering ground truth schedules through a Mixed-Integer Linear Program (MILP) solver and training our model to encode these solutions in a latent space. At inference time, solution samples are decoded from the sampled latent variables, and the lowest-cost sample is selected for coordination. By construction, our GNN-VAE framework returns solutions that always respect the constraints of the considered coordination problem. Numerical results show that our approach trained on small-scale problems can achieve high-quality solutions even for large-scale problems with 250 robots, being much faster than other baselines.
Project Website: TBD