Image de couverture de livre

Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fawn, Marlow, Scheutz, Matthias
Format:	Preprint
Publié:	2025
Sujets:	Robotics Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving
par: Xu, Yuejiao, et autres
Publié: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
par: Kapoor, Parv, et autres
Publié: (2024)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
par: Meng, Yue, et autres
Publié: (2025)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
par: Zhang, Maifang, et autres
Publié: (2026)

Model-Free Learning of Safe yet Effective Controllers
par: Bozkurt, Alper Kamil, et autres
Publié: (2021)

Constrained Decoding for Safe Robot Navigation Foundation Models
par: Kapoor, Parv, et autres
Publié: (2025)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
par: Benjumea, Diana C., et autres
Publié: (2025)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
par: Meli, Daniele, et autres
Publié: (2025)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
par: Yamaguchi, Tomoya, et autres
Publié: (2025)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
par: Dietrich, Elizabeth, et autres
Publié: (2025)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
par: Bozkurt, Alper Kamil, et autres
Publié: (2020)

Logic of Fuzzy Paths
par: Grover, Kush, et autres
Publié: (2026)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
par: Choton, Jahid Chowdhury, et autres
Publié: (2024)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
par: Reimann, Jesse, et autres
Publié: (2024)

Optimal Planning for Timed Partial Order Specifications
par: Watanabe, Kandai, et autres
Publié: (2024)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
par: Dhonthi, Akshay, et autres
Publié: (2024)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
par: Sharifi, Iman, et autres
Publié: (2023)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
par: Vázquez, Gricel, et autres
Publié: (2026)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
par: Zhang, Changjian, et autres
Publié: (2024)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
par: So, Oswin, et autres
Publié: (2026)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
par: Meng, Yue, et autres
Publié: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
par: Lin, Yuanfei, et autres
Publié: (2022)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
par: Luckcuck, Matt, et autres
Publié: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
par: Zhao, Yiqi, et autres
Publié: (2025)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
par: Päßler, Juliane, et autres
Publié: (2023)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
par: Balakrishnan, Anand, et autres
Publié: (2022)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
par: Luckcuck, Matt, et autres
Publié: (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
par: Zhao, Yiqi, et autres
Publié: (2023)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
par: Xu, Shaojun, et autres
Publié: (2024)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
par: Rizwan, Momina, et autres
Publié: (2020)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
par: Dogmus, Zeynep, et autres
Publié: (2013)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
par: Ahmad, Faseeh, et autres
Publié: (2019)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
par: Gianola, Alessandro, et autres
Publié: (2023)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
par: Pshenitsyn, Tikhon
Publié: (2023)

Verification of Robust Properties for Access Control Policies
par: Gheorghiu, Alexander V.
Publié: (2026)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
par: Cignarale, Giorgio, et autres
Publié: (2025)

Computing with Infinite Objects: the Gray Code Case
par: Spreen, Dieter, et autres
Publié: (2021)

The Functional Machine Calculus III: Control
par: Heijltjes, Willem
Publié: (2025)