Cover Image

SMT-Based Dynamic Multi-Robot Task Allocation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tuck, Victoria Marie, Chen, Pei-Wei, Fainekos, Georgios, Hoxha, Bardh, Okamoto, Hideki, Sastry, S. Shankar, Seshia, Sanjit A.
Format:	Preprint
Published:	2024
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
by: Tuck, Victoria Marie, et al.
Published: (2025)

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
by: Black, Mitchell, et al.
Published: (2024)

Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
by: Kim, Taekyung, et al.
Published: (2026)

Neural Configuration Distance Function for Continuum Robot Control
by: Long, Kehan, et al.
Published: (2024)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
by: Parwana, Hardik, et al.
Published: (2024)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
by: Yang, Shuo, et al.
Published: (2023)

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
by: Majd, Keyvan, et al.
Published: (2025)

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
by: Hoxha, Bardh, et al.
Published: (2026)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
by: Hashemi, Navid, et al.
Published: (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
by: Parwana, Hardik, et al.
Published: (2025)

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
by: Parwana, Hardik, et al.
Published: (2023)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
by: Black, Mitchell, et al.
Published: (2024)

Spatio-Temporal Grounding of Large Language Models from Perception Streams
by: Anderson, Jacob, et al.
Published: (2026)

Dynamic Multi-Robot Task Allocation under Uncertainty and Communication Constraints: A Game-Theoretic Approach
by: Mendoza, Maria G., et al.
Published: (2026)

Querying Perception Streams with Spatial Regular Expressions
by: Anderson, Jacob, et al.
Published: (2024)

Safe Model Predictive Diffusion with Shielding
by: Kim, Taekyung, et al.
Published: (2025)

Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
by: Miao, Yan, et al.
Published: (2025)

Optimal Planning for Timed Partial Order Specifications
by: Watanabe, Kandai, et al.
Published: (2024)

Risk-aware MPPI for Stochastic Hybrid Systems
by: Parwana, Hardik, et al.
Published: (2024)

Decentralized Ergodic Coverage Control in Unknown Time-Varying Environments
by: Mendoza, Maria G., et al.
Published: (2026)

Energy-Aware Task Allocation for Teams of Multi-mode Robots
by: Ito, Takumi, et al.
Published: (2025)

Time-To-Reach Separation and Safety Filtering for Safe, Fair, and Efficient Multi-Agent Coordination
by: Low, Matthew, et al.
Published: (2026)

A Global Games-Inspired Approach to Multi-Robot Task Allocation for Heterogeneous Teams
by: Beaver, Logan
Published: (2025)

Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2026)

Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2025)

PerceMon: Online Monitoring for Perception Systems
by: Balakrishnan, Anand, et al.
Published: (2021)

D4orm: Multi-Robot Trajectories with Dynamics-aware Diffusion Denoised Deformations
by: Zhang, Yuhao, et al.
Published: (2025)

Incentive-Compatible Vertiport Reservation in Advanced Air Mobility: An Auction-Based Approach
by: Su, Pan-Yang, et al.
Published: (2024)

Behaviorally Heterogeneous Multi-Agent Exploration Using Distributed Task Allocation
by: Mandal, Nirabhra, et al.
Published: (2025)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
by: Chang, Kevin Kai-Chun, et al.
Published: (2026)

The Cambridge RoboMaster: An Agile Multi-Robot Research Platform
by: Blumenkamp, Jan, et al.
Published: (2024)

Auction-Based Task Allocation with Energy-Conscientious Trajectory Optimization for AMR Fleets
by: Li, Jiachen, et al.
Published: (2026)

Privacy Preserving Mechanisms for Coordinating Airspace Usage in Advanced Air Mobility
by: Maheshwari, Chinmay, et al.
Published: (2024)

Hacking Predictors Means Hacking Cars: Using Sensitivity Analysis to Identify Trajectory Prediction Vulnerabilities for Autonomous Driving Security
by: Gibson, Marsalis, et al.
Published: (2024)

LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
by: Khare, Avishree, et al.
Published: (2025)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
by: Liu, Wenliang, et al.
Published: (2025)

Together We Rise: Optimizing Real-Time Multi-Robot Task Allocation using Coordinated Heterogeneous Plays
by: Pal, Aritra, et al.
Published: (2025)

Learning Stack-of-Tasks Management for Redundant Robots
by: Adami, Alessandro, et al.
Published: (2025)