Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications
Fuente:
arXiv
Guardado en:
| Autores principales: | Le, Nhan-Khanh, Noorani, Erfaun, Hirche, Sandra, Baras, John |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Robust Stochastic Shortest-Path Planning via Risk-Sensitive Incremental Sampling
por: Enwerem, Clinton, et al.
Publicado: (2024)
por: Enwerem, Clinton, et al.
Publicado: (2024)
Risk-Sensitive Reinforcement Learning with Exponential Criteria
por: Noorani, Erfaun, et al.
Publicado: (2022)
por: Noorani, Erfaun, et al.
Publicado: (2022)
Distributed Risk-Sensitive Safety Filters for Uncertain Discrete-Time Systems
por: Lederer, Armin, et al.
Publicado: (2025)
por: Lederer, Armin, et al.
Publicado: (2025)
Delay-Induced Watermarking for Detection of Replay Attacks in Linear Systems
por: Somarakis, Christoforos, et al.
Publicado: (2024)
por: Somarakis, Christoforos, et al.
Publicado: (2024)
From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy
por: Noorani, Erfaun, et al.
Publicado: (2025)
por: Noorani, Erfaun, et al.
Publicado: (2025)
Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
por: Halder, Patrick, et al.
Publicado: (2025)
por: Halder, Patrick, et al.
Publicado: (2025)
Optimal Planning and Control under Signal Temporal Logic Specifications
por: Pan, Zuodong, et al.
Publicado: (2026)
por: Pan, Zuodong, et al.
Publicado: (2026)
Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
por: Matheu, Ryan, et al.
Publicado: (2026)
por: Matheu, Ryan, et al.
Publicado: (2026)
Distributed Coverage Control of Constrained Constant-Speed Unicycle Multi-Agent Systems
por: Liu, Qingchen, et al.
Publicado: (2023)
por: Liu, Qingchen, et al.
Publicado: (2023)
Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)
Counterfactual Explanations for Model Ensembles Using Entropic Risk Measures
por: Noorani, Erfaun, et al.
Publicado: (2025)
por: Noorani, Erfaun, et al.
Publicado: (2025)
DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
por: Liu, Ruijia, et al.
Publicado: (2026)
por: Liu, Ruijia, et al.
Publicado: (2026)
Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
por: Ma, Liqian, et al.
Publicado: (2026)
por: Ma, Liqian, et al.
Publicado: (2026)
Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
por: Yuan, Yating, et al.
Publicado: (2025)
por: Yuan, Yating, et al.
Publicado: (2025)
RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
por: Gautam, Saksham, et al.
Publicado: (2024)
por: Gautam, Saksham, et al.
Publicado: (2024)
Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
por: Liu, Ruijia, et al.
Publicado: (2025)
por: Liu, Ruijia, et al.
Publicado: (2025)
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
por: Kapoor, Parv, et al.
Publicado: (2024)
por: Kapoor, Parv, et al.
Publicado: (2024)
Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
por: Kochdumper, Niklas, et al.
Publicado: (2023)
por: Kochdumper, Niklas, et al.
Publicado: (2023)
A Robust Model Predictive Control Method for Networked Control Systems
por: Beger, Severin, et al.
Publicado: (2025)
por: Beger, Severin, et al.
Publicado: (2025)
Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
por: Ilyes, Roland, et al.
Publicado: (2025)
por: Ilyes, Roland, et al.
Publicado: (2025)
Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)
por: Das, Ratnangshu, et al.
Publicado: (2025)
Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
por: Jagabathula, Vaishnavi, et al.
Publicado: (2025)
por: Jagabathula, Vaishnavi, et al.
Publicado: (2025)
A Set-Theoretic Robust Control Approach for Linear Quadratic Games with Unknown Counterparts
por: Bianchin, Francesco, et al.
Publicado: (2025)
por: Bianchin, Francesco, et al.
Publicado: (2025)
Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
por: Ren, Wei, et al.
Publicado: (2024)
por: Ren, Wei, et al.
Publicado: (2024)
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
por: Wang, Siqi, et al.
Publicado: (2023)
por: Wang, Siqi, et al.
Publicado: (2023)
Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair
por: Puranic, Aniruddh G., et al.
Publicado: (2026)
por: Puranic, Aniruddh G., et al.
Publicado: (2026)
Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
por: Zhao, Jianing, et al.
Publicado: (2025)
por: Zhao, Jianing, et al.
Publicado: (2025)
Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
por: Ye, Bowen, et al.
Publicado: (2025)
por: Ye, Bowen, et al.
Publicado: (2025)
Signal Temporal Logic Motion Planning via Graphs of Convex Sets
por: Chen, Yu, et al.
Publicado: (2026)
por: Chen, Yu, et al.
Publicado: (2026)
Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications
por: Arias, Andres, et al.
Publicado: (2024)
por: Arias, Andres, et al.
Publicado: (2024)
Clustering-based Recurrent Neural Network Controller synthesis under Signal Temporal Logic Specifications
por: Serizawa, Kazunobu, et al.
Publicado: (2025)
por: Serizawa, Kazunobu, et al.
Publicado: (2025)
Graph-Based Convexification of Nested Signal Temporal Logic Constraints for Trajectory Optimization
por: Claudet, Thomas, et al.
Publicado: (2023)
por: Claudet, Thomas, et al.
Publicado: (2023)
Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
por: Rousseas, Panagiotis, et al.
Publicado: (2026)
por: Rousseas, Panagiotis, et al.
Publicado: (2026)
Maximally Resilient Controllers under Temporal Logic Specifications
por: Si, Youssef Ait, et al.
Publicado: (2025)
por: Si, Youssef Ait, et al.
Publicado: (2025)
Energetic Resilience under Temporal Logic Specifications
por: Das, Ratnangshu, et al.
Publicado: (2026)
por: Das, Ratnangshu, et al.
Publicado: (2026)
Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
por: Peng, Yuzhang, et al.
Publicado: (2026)
por: Peng, Yuzhang, et al.
Publicado: (2026)
Safe Collective Control under Noisy Inputs and Competing Constraints via Non-Smooth Barrier Functions
por: Enwerem, Clinton, et al.
Publicado: (2023)
por: Enwerem, Clinton, et al.
Publicado: (2023)
Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
por: Vlahakis, Eleftherios E., et al.
Publicado: (2025)
por: Vlahakis, Eleftherios E., et al.
Publicado: (2025)
A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets
por: You, Shilin, et al.
Publicado: (2026)
por: You, Shilin, et al.
Publicado: (2026)
UAV Trajectory Planning with Path Processing
por: Bouček, Zdeněk, et al.
Publicado: (2024)
por: Bouček, Zdeněk, et al.
Publicado: (2024)
Ejemplares similares
-
Robust Stochastic Shortest-Path Planning via Risk-Sensitive Incremental Sampling
por: Enwerem, Clinton, et al.
Publicado: (2024) -
Risk-Sensitive Reinforcement Learning with Exponential Criteria
por: Noorani, Erfaun, et al.
Publicado: (2022) -
Distributed Risk-Sensitive Safety Filters for Uncertain Discrete-Time Systems
por: Lederer, Armin, et al.
Publicado: (2025) -
Delay-Induced Watermarking for Detection of Replay Attacks in Linear Systems
por: Somarakis, Christoforos, et al.
Publicado: (2024) -
From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy
por: Noorani, Erfaun, et al.
Publicado: (2025)