Copertina

Characterizing LTL Formulas by Examples

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cate, Balder ten, Fisman, Dana, Ohayon, Roi, Sestic, Patrik
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Characterising Modal Formulas with Examples
di: Cate, Balder ten, et al.
Pubblicazione: (2023)

Craig Interpolation for Decidable First-Order Fragments
di: Cate, Balder ten, et al.
Pubblicazione: (2023)

Interpolation in First-Order Logic
di: Cate, Balder ten, et al.
Pubblicazione: (2025)

Six Proofs of Interpolation for the Modal Logic K
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2025)

Modal Fragments
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2026)

When do modal definability and preservation theorems transfer to the finite?
di: van Benthem, Johan, et al.
Pubblicazione: (2026)

On the Power and Limitations of Examples for Description Logic Concepts
di: Cate, Balder ten, et al.
Pubblicazione: (2024)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
di: Cate, Balder ten, et al.
Pubblicazione: (2025)

The Size of Interpolants in Modal Logics
di: Cate, Balder ten, et al.
Pubblicazione: (2025)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
di: Soeteman, Arie, et al.
Pubblicazione: (2025)

Preservation theorems for Tarski's relation algebra
di: Bogaerts, Bart, et al.
Pubblicazione: (2023)

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
di: Soeteman, Arie, et al.
Pubblicazione: (2026)

Expressive Power of Deep Homomorphism Networks over Relational Databases
di: Schönherr, Moritz, et al.
Pubblicazione: (2026)

When do homomorphism counts help in query algorithms?
di: Cate, Balder ten, et al.
Pubblicazione: (2023)

Inferring Symbolic Automata
di: Fisman, Dana, et al.
Pubblicazione: (2021)

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

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

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

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

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

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

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
di: Bombardelli, Alberto, et al.
Pubblicazione: (2023)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
di: Gonzalez, Bruno Maria René, et al.
Pubblicazione: (2025)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
di: Fortin, Marie, et al.
Pubblicazione: (2023)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
di: Danso, Priscilla Kyei, et al.
Pubblicazione: (2026)

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

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

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
di: Perez, Mateo, et al.
Pubblicazione: (2023)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
di: Xiao, Shengping, et al.
Pubblicazione: (2024)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

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

A Unified Gentzen-style Framework for Until-free LTL
di: Kamide, Norihiro, et al.
Pubblicazione: (2024)

When Are Prime Formulae Characteristic?
di: Aceto, Luca, et al.
Pubblicazione: (2024)

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

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

Symmetries of Dependency Quantified Boolean Formulas
di: Hofstadler, Clemens, et al.
Pubblicazione: (2024)

Efficient Volume Computation for SMT Formulas
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

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

A Sequent Calculus For Trace Formula Implication
di: Heidler, Niklas, et al.
Pubblicazione: (2025)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
di: Quansah, Paapa Kwesi, et al.
Pubblicazione: (2026)