Cover Image

LTL-Constrained Policy Optimization with Cycle Experience Replay

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shah, Ameesh, Voloshin, Cameron, Yang, Chenxi, Verma, Abhinav, Chaudhuri, Swarat, Seshia, Sanjit A.
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence Formal Languages and Automata Theory I.2.6; I.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Neuro-Symbolic Predictive Process Monitoring
by: Mezini, Axel, et al.
Published: (2025)

Reward Machines for Deep RL in Noisy and Uncertain Environments
by: Li, Andrew C., et al.
Published: (2024)

Robust and Diverse Multi-Agent Learning via Rational Policy Gradient
by: Lauffer, Niklas, et al.
Published: (2025)

DFAMiner: Mining minimal separating DFAs from labelled samples
by: Dell'Erba, Daniele, et al.
Published: (2024)

Good-for-MDP State Reduction for Stochastic LTL Planning
by: Weinhuber, Christoph, et al.
Published: (2025)

Unsupervised Automata Learning via Discrete Optimization
by: Lutz, Simon, et al.
Published: (2023)

Real-Time Model Checking for Closed-Loop Robot Reactive Planning
by: Chandler, Christopher, et al.
Published: (2025)

Computational methods for Dynamic Answer Set Programming
by: Hahn, Susana
Published: (2025)

The Inclusion Depth of Pattern Languages: An Open Problem in Algorithmic Learning Theory
by: Luo, Wei
Published: (2026)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
by: Muvvala, Karan, et al.
Published: (2024)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
by: Vatsa, Adarsh, et al.
Published: (2025)

Evaluating and Learning Robust Bandit Policies Under Uncertain Causal Mechanisms
by: Avery, Katherine, et al.
Published: (2025)

Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models
by: Nicolau, Marcio, et al.
Published: (2020)

Active Automata Learning with Advice
by: Fica, Michał, et al.
Published: (2025)

Learning Tree Automata with Term Rewriting
by: Kopystiański, Jakub, et al.
Published: (2026)

A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
by: Mohan, Shiwali, et al.
Published: (2023)

Sensorformer: Cross-patch attention with global-patch compression is effective for high-dimensional multivariate time series forecasting
by: Qin, Liyang, et al.
Published: (2025)

Demand-Driven Context: A Methodology for Building Enterprise Knowledge Bases Through Agent Failure
by: Navakoti, Raj, et al.
Published: (2026)

High Quality Embeddings for Horn Logic Reasoning
by: Zhang, Yifan, et al.
Published: (2026)

E-CONDOR: Efficient Contour-Based Detection Of Random Spatial Signals From UAV Observations Using Dual Stochastic Gradient
by: Zahra, Maryam, et al.
Published: (2024)

Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
by: Budde, Carlos E., et al.
Published: (2024)

Improving Unstructured Data Quality via Updatable Extracted Views
by: Kassaie, Besat, et al.
Published: (2025)

OntoLogX: Ontology-Guided Knowledge Graph Extraction from Cybersecurity Logs with Large Language Models
by: Cotti, Luca, et al.
Published: (2025)

HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph
by: He, Yongquan, et al.
Published: (2024)

The Final-Stage Bottleneck: A Systematic Dissection of the R-Learner for Network Causal Inference
by: Sairam, S, et al.
Published: (2025)

Study Design and Demystification of Physics Informed Neural Networks for Power Flow Simulation
by: Leyli-abadi, Milad, et al.
Published: (2025)

SAGE: A Strategy-Aware Graph-Enhanced Generation Framework For Online Counseling
by: Aharon, Eliya Naomi, et al.
Published: (2026)

From Next Token Prediction to (STRIPS) World Models
by: Núñez-Molina, Carlos, et al.
Published: (2025)

Advancing Multimodal Agent Reasoning with Long-Term Neuro-Symbolic Memory
by: Jiang, Rongjie, et al.
Published: (2026)

Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
by: Hebballi, Chirantan, et al.
Published: (2026)

The Limits of Obliviate: Evaluating Unlearning in LLMs via Stimulus-Knowledge Entanglement-Behavior Framework
by: Shah, Aakriti, et al.
Published: (2025)

Learning Formal Specifications from Membership and Preference Queries
by: Shah, Ameesh, et al.
Published: (2023)

Memory-Efficient Partitioned DNN Inference on Resource-Constrained Android Crowds
by: Manamperi, Lakshani, et al.
Published: (2026)

rmlnomogram: An R package to construct an explainable nomogram for any machine learning algorithms
by: Sufriyana, Herdiantri, et al.
Published: (2025)

A Domain-Agnostic Neurosymbolic Approach for Big Social Data Analysis: Evaluating Mental Health Sentiment on Social Media during COVID-19
by: Khandelwal, Vedant, et al.
Published: (2024)

Automated Circuit Interpretation via Probe Prompting
by: Birardi, Giuseppe
Published: (2025)

Sensitivity Uncertainty Alignment in Large Language Models
by: Hiremath, Prakul Sunil, et al.
Published: (2026)

A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making
by: Núñez-Molina, Carlos, et al.
Published: (2023)

Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
by: Alevizos, Elias, et al.
Published: (2024)

HEHRGNN: A Unified Embedding Model for Knowledge Graphs with Hyperedges and Hyper-Relational Edges
by: Rajagopalamenon, Rajesh, et al.
Published: (2026)