Buchumschlag

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tuck, Victoria Marie, Parwana, Hardik, Chen, Pei-Wei, Fainekos, Georgios, Hoxha, Bardh, Okamoto, Hideki, Sastry, S. Shankar, Seshia, Sanjit A.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Robotics Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SMT-Based Dynamic Multi-Robot Task Allocation
von: Tuck, Victoria Marie, et al.
Veröffentlicht: (2024)

Neural Configuration Distance Function for Continuum Robot Control
von: Long, Kehan, et al.
Veröffentlicht: (2024)

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

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
von: Majd, Keyvan, et al.
Veröffentlicht: (2025)

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

Risk-aware MPPI for Stochastic Hybrid Systems
von: Parwana, Hardik, et al.
Veröffentlicht: (2024)

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

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
von: Black, Mitchell, et al.
Veröffentlicht: (2024)

Optimal Planning for Timed Partial Order Specifications
von: Watanabe, Kandai, et al.
Veröffentlicht: (2024)

Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
von: Kim, Taekyung, et al.
Veröffentlicht: (2026)

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
von: Hoxha, Bardh, et al.
Veröffentlicht: (2026)

Querying Perception Streams with Spatial Regular Expressions
von: Anderson, Jacob, et al.
Veröffentlicht: (2024)

Spatio-Temporal Grounding of Large Language Models from Perception Streams
von: Anderson, Jacob, et al.
Veröffentlicht: (2026)

LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
von: Khare, Avishree, et al.
Veröffentlicht: (2025)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
von: Yang, Shuo, et al.
Veröffentlicht: (2023)

From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
von: Miao, Yan, et al.
Veröffentlicht: (2024)

Safe Model Predictive Diffusion with Shielding
von: Kim, Taekyung, et al.
Veröffentlicht: (2025)

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

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
von: Black, Mitchell, et al.
Veröffentlicht: (2024)

Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
von: Wang, Xinyi, et al.
Veröffentlicht: (2025)

StarV: A Qualitative and Quantitative Verification Tool for Learning-enabled Systems
von: Tran, Dung, et al.
Veröffentlicht: (2025)

Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions
von: Wang, Xinyi, et al.
Veröffentlicht: (2026)

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

PerceMon: Online Monitoring for Perception Systems
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2021)

Decentralized Ergodic Coverage Control in Unknown Time-Varying Environments
von: Mendoza, Maria G., et al.
Veröffentlicht: (2026)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
von: Zhao, Yiqi, et al.
Veröffentlicht: (2023)

Privacy Preserving Mechanisms for Coordinating Airspace Usage in Advanced Air Mobility
von: Maheshwari, Chinmay, et al.
Veröffentlicht: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

FORESEE: Prediction with Expansion-Compression Unscented Transform for Online Policy Optimization
von: Parwana, Hardik, et al.
Veröffentlicht: (2022)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
von: Yamaguchi, Tomoya, et al.
Veröffentlicht: (2025)

FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs
von: Fronda, Nicole, et al.
Veröffentlicht: (2025)

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

Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility
von: Fronda, Nicole, et al.
Veröffentlicht: (2025)

Enabling Safety for Aerial Robots: Planning and Control Architectures
von: Naveed, Kaleb Ben, et al.
Veröffentlicht: (2025)

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

Cellular Learning: Scattered Data Regression in High Dimensions via Voronoi Cells
von: Sastry, Shankar Prasad
Veröffentlicht: (2025)

A Mathematical Introduction to Robotic Manipulation
von: Murray, Richard M., et al.
Veröffentlicht: (2026)

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
von: Godbole, Adwait, et al.
Veröffentlicht: (2024)

Repairing Neural Networks for Safety in Robotic Systems using Predictive Models
von: Majd, Keyvan, et al.
Veröffentlicht: (2024)