:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fawn, Marlow, Scheutz, Matthias
Format:	Preprint
Published:	2025
Subjects:	Robotics Logic in Computer Science
Online Access:	https://arxiv.org/abs/2511.14434
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving
by: Xu, Yuejiao, et al.
Published: (2024)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
by: Meng, Yue, et al.
Published: (2025)

Model-Free Learning of Safe yet Effective Controllers
by: Bozkurt, Alper Kamil, et al.
Published: (2021)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
by: Zhang, Maifang, et al.
Published: (2026)

Constrained Decoding for Safe Robot Navigation Foundation Models
by: Kapoor, Parv, et al.
Published: (2025)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
by: Benjumea, Diana C., et al.
Published: (2025)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
by: Meli, Daniele, et al.
Published: (2025)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
by: Sharifi, Iman, et al.
Published: (2023)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
by: So, Oswin, et al.
Published: (2026)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
by: Yamaguchi, Tomoya, et al.
Published: (2025)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
by: Dietrich, Elizabeth, et al.
Published: (2025)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
by: Bozkurt, Alper Kamil, et al.
Published: (2020)

Logic of Fuzzy Paths
by: Grover, Kush, et al.
Published: (2026)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
by: Choton, Jahid Chowdhury, et al.
Published: (2024)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
by: Reimann, Jesse, et al.
Published: (2024)

Optimal Planning for Timed Partial Order Specifications
by: Watanabe, Kandai, et al.
Published: (2024)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
by: Dhonthi, Akshay, et al.
Published: (2024)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2025)

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

Formal Modelling and Analysis of a Self-Adaptive Robotic System
by: Päßler, Juliane, et al.
Published: (2023)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
by: Balakrishnan, Anand, et al.
Published: (2022)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2024)

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

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
by: Xu, Shaojun, et al.
Published: (2024)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
by: Rizwan, Momina, et al.
Published: (2020)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
by: Dogmus, Zeynep, et al.
Published: (2013)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
by: Ahmad, Faseeh, et al.
Published: (2019)

Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies
by: Rahmani, Hazhar, et al.
Published: (2024)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
by: Cignarale, Giorgio, et al.
Published: (2025)

Verification of Robust Properties for Access Control Policies
by: Gheorghiu, Alexander V.
Published: (2026)

Extending Action Logic with Omega Iteration
by: Pshenitsyn, Tikhon
Published: (2025)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers
by: Mandal, Udayan, et al.
Published: (2024)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
by: Pshenitsyn, Tikhon
Published: (2023)