Cover Image

Robust STL Control Synthesis under Maximal Disturbance Sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Verhagen, Joris, Lindemann, Lars, Tumova, Jana
Format:	Preprint
Published:	2024
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Collaborative Object Transportation in Space via Impact Interactions
by: Verhagen, Joris, et al.
Published: (2025)

Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control
by: Vahs, Matti, et al.
Published: (2026)

Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
by: Han, Shaohang, et al.
Published: (2025)

Validation of Space Robotics in Underwater Environments via Disturbance Robustness Equivalency
by: Verhagen, Joris, et al.
Published: (2026)

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

Non-smooth Control Barrier Functions for Stochastic Dynamical Systems
by: Vahs, Matti, et al.
Published: (2023)

Risk-aware Control for Robots with Non-Gaussian Belief Spaces
by: Vahs, Matti, et al.
Published: (2023)

Robust MITL planning under uncertain navigation times
by: Linard, Alexis, et al.
Published: (2024)

Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions
by: Han, Shaohang, et al.
Published: (2025)

Parameter-Robust MPPI for Safe Online Learning of Unknown Parameters
by: Vahs, Matti, et al.
Published: (2026)

Forward Invariance in Trajectory Spaces for Safety-critical Control
by: Vahs, Matti, et al.
Published: (2024)

Pedestrian-Aware Motion Planning for Autonomous Driving in Complex Urban Scenarios
by: Moller, Korbinian, et al.
Published: (2025)

Feasibility Restoration under Conflicting STL Specifications with Pareto-Optimal Refinement
by: Wu, Tianhao, et al.
Published: (2026)

An Operator-Based Approach to STL
by: Rousseas, Panagiotis, et al.
Published: (2026)

Towards Open-Source and Modular Space Systems with ATMOS
by: Roque, Pedro, et al.
Published: (2025)

Deep Equivariant Multi-Agent Control Barrier Functions
by: Bousias, Nikolaos, et al.
Published: (2025)

RRT$^η$: Sampling-based Motion Planning and Control from STL Specifications using Arithmetic-Geometric Mean Robustness
by: Ahmad, Ahmad, et al.
Published: (2026)

Sample-Efficient Expert Query Control in Active Imitation Learning via Conformal Prediction
by: Firouzkouhi, Arad, et al.
Published: (2025)

Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction
by: Mirzaeedodangeh, Omid, et al.
Published: (2025)

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis
by: Hashemi, Navid, et al.
Published: (2025)

Transitional Grid Maps: Joint Modeling of Static and Dynamic Occupancy
by: Sánchez, José Manuel Gaspar, et al.
Published: (2024)

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

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
by: Rahaman, Kaizer, et al.
Published: (2026)

CageCoOpt: Enhancing Manipulation Robustness through Caging-Guided Morphology and Policy Co-Optimization
by: Dong, Yifei, et al.
Published: (2024)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
by: Hashemi, Navid, et al.
Published: (2024)

Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning
by: Kiessling, Alexander, et al.
Published: (2024)

UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks
by: Zhao, Qisheng, et al.
Published: (2026)

Multi-agent transformer-accelerated RL for satisfaction of STL specifications
by: Forsberg, Albin Larsson, et al.
Published: (2024)

Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions
by: Lutkus, Paul, et al.
Published: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)

Synthesis and Deployment of Maximal Robust Control Barrier Functions through Adversarial Reinforcement Learning
by: Oh, Donggeon David, et al.
Published: (2026)

Integrating Maneuverable Planning and Adaptive Control for Robot Cart-Pushing under Disturbances
by: Zhang, Zhe, et al.
Published: (2025)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

CBF-Based STL Motion Planning for Social Navigation in Crowded Environment
by: Ruo, Andrea, et al.
Published: (2024)

Validating Generalist Robots with Situation Calculus and STL Falsification
by: Li, Changwen, et al.
Published: (2026)

Marinarium: a New Arena to Bring Maritime Robotics Closer to Shore
by: Torroba, Ignacio, et al.
Published: (2026)

eCP: Equivariant Conformal Prediction with pre-trained models
by: Bousias, Nikolaos, et al.
Published: (2026)

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

Track Any Motions under Any Disturbances
by: Zhang, Zhikai, et al.
Published: (2025)

Robust Deterministic Policy Gradient for Disturbance Attenuation and Its Application to Quadrotor Control
by: Lee, Taeho, et al.
Published: (2025)