Cover Image

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Perez, Mateo, Somenzi, Fabio, Trivedi, Ashutosh
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Omega-regular Verification and Control for Distributional Specifications in MDPs
by: Akshay, S., et al.
Published: (2025)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

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

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

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
by: Suilen, Marnix, et al.
Published: (2024)

RNN Generalization to Omega-Regular Languages
by: Pert, Charles, et al.
Published: (2025)

The Value Problem for Multiple-Environment MDPs with Parity Objective
by: Chatterjee, Krishnendu, et al.
Published: (2025)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
by: van der Vegt, Marck, et al.
Published: (2025)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
by: Kontinen, Juha, et al.
Published: (2024)

Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives
by: Kazemi, Milad, et al.
Published: (2025)

Deep Learning with Parametric Lenses
by: Cruttwell, Geoffrey S. H., et al.
Published: (2024)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
by: Mannucci, Mirco A.
Published: (2025)

Uniform Computability of PAC Learning
by: Brattka, Vasco, et al.
Published: (2026)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
by: Asor, Ohad
Published: (2026)

Do LLMs Dream of Discrete Algorithms?
by: Coelho Jr, Claudionor, et al.
Published: (2025)

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

Characterizing LTL Formulas by Examples
by: Cate, Balder ten, et al.
Published: (2026)

Computational Complexity of Standpoint LTL
by: Demri, Stéphane, et al.
Published: (2024)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
by: Benedikt, Michael, et al.
Published: (2026)

From learnable objects to learnable random objects
by: Anderson, Aaron, et al.
Published: (2025)

Programs as Singularities
by: Murfet, Daniel, et al.
Published: (2025)

Runtime Verification for LTL in Stochastic Systems
by: Esparza, Javier, et al.
Published: (2025)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
by: Henzinger, Thomas A., et al.
Published: (2025)

A General Framework for Property-Driven Machine Learning
by: Flinkow, Thomas, et al.
Published: (2025)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
by: Li, Jinzhao, et al.
Published: (2026)

Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2024)

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
by: Zhou, Xiaofeng, et al.
Published: (2026)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
by: Beirami, Hani, et al.
Published: (2026)

The Complexity of Fragments of Second-Order HyperLTL
by: Regaud, Gaëtan, et al.
Published: (2025)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
by: Regaud, Gaëtan, et al.
Published: (2025)

Scalable Interconnect Learning in Boolean Networks
by: Kresse, Fabian, et al.
Published: (2025)

Output-decomposed Learning of Mealy Machines
by: Koenders, Rick, et al.
Published: (2024)

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
by: De Giacomo, Giuseppe, et al.
Published: (2025)

Null Measurability at the Symmetrization Interface in VC Learning
by: Gupta, Dhruv
Published: (2026)

On Improving Deep Active Learning with Formal Verification
by: Spiegelman, Jonathan, et al.
Published: (2025)

Error-awareness Accelerates Active Automata Learning
by: Kruger, Loes, et al.
Published: (2026)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
by: Amir, Guy, et al.
Published: (2024)

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
by: Omi, Nabil, et al.
Published: (2024)

Learning logic programs by finding minimal unsatisfiable subprograms
by: Cropper, Andrew, et al.
Published: (2024)