MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
Fuente:
arXiv
Saved in:
| Main Authors: | Sewlia, Mayank, Verginis, Christos K., Dimarogonas, Dimos V. |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
by: Sewlia, Mayank, et al.
Published: (2025)
by: Sewlia, Mayank, et al.
Published: (2025)
Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
by: Rousseas, Panagiotis, et al.
Published: (2026)
by: Rousseas, Panagiotis, et al.
Published: (2026)
Kinodynamic Motion Planning via Funnel Control for Underactuated Unmanned Surface Vehicles
by: Lapandić, Dženan, et al.
Published: (2023)
by: Lapandić, Dženan, et al.
Published: (2023)
Cooperative Manipulation via Internal Force Regulation: A Rigidity Theory Perspective
by: Verginis, Christos K., et al.
Published: (2019)
by: Verginis, Christos K., et al.
Published: (2019)
Generating and Optimizing Topologically Distinct Guesses for Mobile Manipulator Path Planning with Path Constraints
by: Wong, Rufus Cheuk Yin, et al.
Published: (2024)
by: Wong, Rufus Cheuk Yin, et al.
Published: (2024)
Meta-Learning Augmented MPC for Disturbance-Aware Motion Planning and Control of Quadrotors
by: Lapandić, Dženan, et al.
Published: (2024)
by: Lapandić, Dženan, et al.
Published: (2024)
Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)
by: Ren, Wei, et al.
Published: (2024)
Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
by: Peron, Davide, et al.
Published: (2025)
by: Peron, Davide, et al.
Published: (2025)
Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
by: Vlahakis, Eleftherios E., et al.
Published: (2025)
by: Vlahakis, Eleftherios E., et al.
Published: (2025)
An Operator-Based Approach to STL
by: Rousseas, Panagiotis, et al.
Published: (2026)
by: Rousseas, Panagiotis, et al.
Published: (2026)
Autonomous Vehicles Path Planning under Temporal Logic Specifications
by: Dhonthi, Akshay, et al.
Published: (2024)
by: Dhonthi, Akshay, et al.
Published: (2024)
Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
by: Lin, Xuan, et al.
Published: (2024)
by: Lin, Xuan, et al.
Published: (2024)
Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2026)
by: Ma, Liqian, et al.
Published: (2026)
Continuous-time control synthesis under nested signal temporal logic specifications
by: Yu, Pian, et al.
Published: (2023)
by: Yu, Pian, et al.
Published: (2023)
Decoupled Design of Time-Varying Control Barrier Functions via Equivariances
by: Wiltz, Adrian, et al.
Published: (2025)
by: Wiltz, Adrian, et al.
Published: (2025)
Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
by: Wiltz, Adrian, et al.
Published: (2025)
by: Wiltz, Adrian, et al.
Published: (2025)
Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
by: Wei, Zhongqi, et al.
Published: (2025)
by: Wei, Zhongqi, et al.
Published: (2025)
Intermittent Connectivity Maintenance With Heterogeneous Robots
by: Aragues, Rosario, et al.
Published: (2024)
by: Aragues, Rosario, et al.
Published: (2024)
Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2023)
by: Vlahakis, Eleftherios E., et al.
Published: (2023)
Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)
by: Das, Ratnangshu, et al.
Published: (2025)
Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
by: Liu, Wenliang, et al.
Published: (2025)
by: Liu, Wenliang, et al.
Published: (2025)
Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
by: Taheri, Azizollah, et al.
Published: (2025)
by: Taheri, Azizollah, et al.
Published: (2025)
Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
by: Luo, Xusheng, et al.
Published: (2023)
by: Luo, Xusheng, et al.
Published: (2023)
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
by: Luo, Xusheng, et al.
Published: (2024)
by: Luo, Xusheng, et al.
Published: (2024)
Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
by: Halder, Patrick, et al.
Published: (2026)
by: Halder, Patrick, et al.
Published: (2026)
Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)
by: Chen, Yu, et al.
Published: (2026)
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
by: Liu, Siyuan, et al.
Published: (2023)
by: Liu, Siyuan, et al.
Published: (2023)
Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2024)
by: Vlahakis, Eleftherios E., et al.
Published: (2024)
Robust Visual Servoing under Human Supervision for Assembly Tasks
by: Fernandez-Ayala, Victor Nan, et al.
Published: (2025)
by: Fernandez-Ayala, Victor Nan, et al.
Published: (2025)
Fault-tolerant Model Predictive Control for Spacecraft
by: Stöckner, Raphael, et al.
Published: (2025)
by: Stöckner, Raphael, et al.
Published: (2025)
Switching control of underactuated multi-channel systems with input constraints for cooperative manipulation
by: Lee, Dongjae, et al.
Published: (2025)
by: Lee, Dongjae, et al.
Published: (2025)
DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)
by: Liu, Ruijia, et al.
Published: (2026)
Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)
by: Kordabad, Arash Bahari, et al.
Published: (2024)
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures
by: Kalluraya, Samarth, et al.
Published: (2024)
by: Kalluraya, Samarth, et al.
Published: (2024)
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)
by: Kapoor, Parv, et al.
Published: (2024)
Quality of Control based Resource Dimensioning for Collaborative Edge Robotics
by: Roy, Neelabhro, et al.
Published: (2024)
by: Roy, Neelabhro, et al.
Published: (2024)
A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
by: Marchesini, Gregorio, et al.
Published: (2024)
by: Marchesini, Gregorio, et al.
Published: (2024)
T3 Planner: A Self-Correcting LLM Framework for Robotic Motion Planning with Temporal Logic
by: Li, Jia, et al.
Published: (2025)
by: Li, Jia, et al.
Published: (2025)
Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition
by: Ren, Jiming, et al.
Published: (2025)
by: Ren, Jiming, et al.
Published: (2025)
Signal Temporal Logic Planning with Time-Varying Robustness
by: Yuan, Yating, et al.
Published: (2024)
by: Yuan, Yating, et al.
Published: (2024)
Similar Items
-
Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
by: Sewlia, Mayank, et al.
Published: (2025) -
Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
by: Rousseas, Panagiotis, et al.
Published: (2026) -
Kinodynamic Motion Planning via Funnel Control for Underactuated Unmanned Surface Vehicles
by: Lapandić, Dženan, et al.
Published: (2023) -
Cooperative Manipulation via Internal Force Regulation: A Rigidity Theory Perspective
by: Verginis, Christos K., et al.
Published: (2019) -
Generating and Optimizing Topologically Distinct Guesses for Mobile Manipulator Path Planning with Path Constraints
by: Wong, Rufus Cheuk Yin, et al.
Published: (2024)