:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Le, Nhan-Khanh, Noorani, Erfaun, Hirche, Sandra, Baras, John
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2403.10735
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Robust Stochastic Shortest-Path Planning via Risk-Sensitive Incremental Sampling
by: Enwerem, Clinton, et al.
Published: (2024)

Risk-Sensitive Reinforcement Learning with Exponential Criteria
by: Noorani, Erfaun, et al.
Published: (2022)

Distributed Risk-Sensitive Safety Filters for Uncertain Discrete-Time Systems
by: Lederer, Armin, et al.
Published: (2025)

Delay-Induced Watermarking for Detection of Replay Attacks in Linear Systems
by: Somarakis, Christoforos, et al.
Published: (2024)

From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy
by: Noorani, Erfaun, et al.
Published: (2025)

Distributed Coverage Control of Constrained Constant-Speed Unicycle Multi-Agent Systems
by: Liu, Qingchen, et al.
Published: (2023)

Counterfactual Explanations for Model Ensembles Using Entropic Risk Measures
by: Noorani, Erfaun, et al.
Published: (2025)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
by: Halder, Patrick, et al.
Published: (2025)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
by: Matheu, Ryan, et al.
Published: (2026)

Optimal Planning and Control under Signal Temporal Logic Specifications
by: Pan, Zuodong, et al.
Published: (2026)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2026)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
by: Yuan, Yating, et al.
Published: (2025)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
by: Gautam, Saksham, et al.
Published: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

A Robust Model Predictive Control Method for Networked Control Systems
by: Beger, Severin, et al.
Published: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2023)

Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair
by: Puranic, Aniruddh G., et al.
Published: (2026)

A Set-Theoretic Robust Control Approach for Linear Quadratic Games with Unknown Counterparts
by: Bianchin, Francesco, et al.
Published: (2025)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
by: Jagabathula, Vaishnavi, et al.
Published: (2025)

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
by: Ilyes, Roland, et al.
Published: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
by: Wang, Siqi, et al.
Published: (2023)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, et al.
Published: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
by: Zhao, Jianing, et al.
Published: (2025)

Safe Collective Control under Noisy Inputs and Competing Constraints via Non-Smooth Barrier Functions
by: Enwerem, Clinton, et al.
Published: (2023)

Towards Efficient Risk-Sensitive Policy Gradient: An Iteration Complexity Analysis
by: Liu, Rui, et al.
Published: (2024)

Graph-Based Convexification of Nested Signal Temporal Logic Constraints for Trajectory Optimization
by: Claudet, Thomas, et al.
Published: (2023)

Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications
by: Arias, Andres, et al.
Published: (2024)

Clustering-based Recurrent Neural Network Controller synthesis under Signal Temporal Logic Specifications
by: Serizawa, Kazunobu, et al.
Published: (2025)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
by: Rousseas, Panagiotis, et al.
Published: (2026)

Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)

Infinite-horizon optimal scheduling for feedback control
by: Wang, Siyi, et al.
Published: (2024)

Energetic Resilience under Temporal Logic Specifications
by: Das, Ratnangshu, et al.
Published: (2026)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
by: Qi, Shuhao, et al.
Published: (2024)

Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
by: Peng, Yuzhang, et al.
Published: (2026)