Cover Image

LTL$_f$ Learning Meets Boolean Set Cover

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bathie, Gabriel, Fijalkow, Nathanaël, Matricon, Théo, Mouillon, Baptiste, Vandenhove, Pierre
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Formal Languages and Automata Theory Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computing the Reachability Value of Posterior-Deterministic POMDPs
by: Fijalkow, Nathanaël, et al.
Published: (2026)

SemML 2.0: Synthesizing Controllers for LTL
by: Křetínský, Jan, et al.
Published: (2026)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
by: Neider, Daniel, et al.
Published: (2025)

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
by: Chakraborty, Debraj, et al.
Published: (2026)

Positive and monotone fragments of FO and LTL
by: Kuperberg, Denis, et al.
Published: (2024)

The Complexity of Second-order HyperLTL
by: Frenkel, Hadar, et al.
Published: (2023)

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

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
by: Zhou, Can, et al.
Published: (2026)

Simplifying LTL Model Checking Given Prior Knowledge
by: Duret-Lutz, Alexandre, et al.
Published: (2025)

A Direct Translation from LTL with Past to Deterministic Rabin Automata
by: Azzopardi, Shaun, et al.
Published: (2024)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
by: Winter, Sarah, et al.
Published: (2024)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
by: Bouyer, Patricia, et al.
Published: (2022)

Arena-Independent Finite-Memory Determinacy in Stochastic Games
by: Bouyer, Patricia, et al.
Published: (2021)

Dynamic Programming for Symbolic Boolean Realizability and Synthesis
by: Lin, Yi, et al.
Published: (2024)

A positional $\mathbfΠ^0_3$-complete objective
by: Casares, Antonio, et al.
Published: (2024)

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
by: Raha, Ritam, et al.
Published: (2021)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
by: Roy, Rajarshi, et al.
Published: (2025)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
by: Caminati, Marco B.
Published: (2024)

Systemic Constraints of Undecidability
by: Bulin, Seth
Published: (2025)

About Time: Model-free Reinforcement Learning with Timed Reward Machines
by: Roy, Rajarshi, et al.
Published: (2025)

The Power of Counting Steps in Quantitative Games
by: Bose, Sougata, et al.
Published: (2024)

A GLR-like Parsing Algorithm for Three-Valued Interpretations of Boolean Grammars with Strong Negation
by: Adrián, Patrik, et al.
Published: (2024)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
by: Aminof, Benjamin, et al.
Published: (2024)

Temporal Ensemble Logic
by: Zhang, Guo-Qiang
Published: (2024)

Non-Deterministic Planning for Hyperproperty Verification
by: Beutner, Raven, et al.
Published: (2024)

A Formal Framework for the Explanation of Finite Automata Decisions
by: Granada, Jaime Cuartas, et al.
Published: (2026)

Subtyping in DHOL -- Extended preprint
by: Rothgang, Colin, et al.
Published: (2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
by: Hausmann, Daniel, et al.
Published: (2025)

A process algebraic framework for multi-agent dynamic epistemic systems
by: Aldini, Alessandro
Published: (2024)

The Transformation Logics
by: Ronca, Alessandro
Published: (2023)

Verification of Neural Networks (Lecture Notes)
by: Bollig, Benedikt
Published: (2026)

Symbolic Synthesis for LTLf+ Obligations
by: De Giacomo, Giuseppe, et al.
Published: (2026)

Inquisitive Team Semantics of LTL
by: Bozzelli, Laura, et al.
Published: (2025)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
by: Doveri, Kyveli, et al.
Published: (2026)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
by: Casares, Antonio, et al.
Published: (2023)

Games on Graphs: From Logic and Automata to Algorithms
by: Fijalkow, Nathanaël, et al.
Published: (2023)

Playing Safe, Ten Years Later
by: Colcombet, Thomas, et al.
Published: (2022)

Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications
by: Kouteili, Sam Nicholas, et al.
Published: (2026)

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
by: Guha, Shibashis, et al.
Published: (2026)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
by: Iosif, Radu, et al.
Published: (2023)