Cover Image

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Balakrishnan, Anand, Jakšić, Stefan, Aguilar, Edgar A., Ničković, Dejan, Deshmukh, Jyotirmoy V.
Format:	Preprint
Published:	2022
Subjects:	Artificial Intelligence Logic in Computer Science Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
by: Andresel, Medina, et al.
Published: (2026)

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
by: Balakrishnan, Anand, et al.
Published: (2024)

Declarative Scenario-based Testing with RoadLogic
by: Bartocci, Ezio, et al.
Published: (2026)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
by: Balakrishnan, Anand, et al.
Published: (2025)

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

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

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
by: Cornelio, Cristina, et al.
Published: (2024)

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

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
by: Chang, Kevin Kai-Chun, et al.
Published: (2026)

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

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

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

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

Enhancing Symbolic Machine Learning by Subsymbolic Representations
by: Roth, Stephen, et al.
Published: (2025)

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

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

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)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
by: Bozkurt, Alper Kamil, et al.
Published: (2021)

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

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
by: Bonakdarpour, Borzoo, et al.
Published: (2024)

Robustness of Constraint Automata for Description Logics with Concrete Domains
by: Demri, Stéphane, et al.
Published: (2026)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
by: Defresne, Marianne, et al.
Published: (2025)

Ontological foundations for contrastive explanatory narration of robot plans
by: Olivares-Alarcos, Alberto, et al.
Published: (2025)

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

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

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

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
by: Majkic, Zoran
Published: (2026)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
by: Alhessi, Yousef, et al.
Published: (2025)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
by: Anand, Ashwani, et al.
Published: (2025)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
by: Hsu, Tzu-Han, et al.
Published: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
by: Bankosegger, Rafael, et al.
Published: (2026)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
by: Schön, Oliver, et al.
Published: (2026)

Verifying Global Two-Safety Properties in Neural Networks with Confidence
by: Athavale, Anagha, et al.
Published: (2024)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
by: Shea-Blymyer, Colin, et al.
Published: (2024)