Copertina

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Faella, Marco, Parlato, Gennaro
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verifying Tree-Manipulating Programs via CHCs
di: Faella, Marco, et al.
Pubblicazione: (2025)

First-Order LTLf Synthesis with Lookback (Extended Version)
di: Winkler, Sarah
Pubblicazione: (2025)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
di: Preiner, Mathias, et al.
Pubblicazione: (2026)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
di: Caires-Santos, Ali K., et al.
Pubblicazione: (2025)

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

A General Automata Model for First-Order Temporal Logics (Extended Version)
di: Geatti, Luca, et al.
Pubblicazione: (2024)

Learning Quantitative Automata Modulo Theories
di: Hsiung, Eric, et al.
Pubblicazione: (2024)

Computing unsatisfiable cores for LTLf specifications
di: Roveri, Marco, et al.
Pubblicazione: (2022)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
di: Kettmann, Pascal, et al.
Pubblicazione: (2025)

Optimal LTLf Synthesis
di: Cao, Yujian, et al.
Pubblicazione: (2026)

On-the-fly LTLf Synthesis under Partial Observability
di: Alon, Nadav, et al.
Pubblicazione: (2026)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
di: Dalmonte, Tiziano, et al.
Pubblicazione: (2025)

Generalized Optimization Modulo Theories
di: Tsiskaridze, Nestan, et al.
Pubblicazione: (2024)

Automata-less Monitoring via Trace-Checking (Extended Version)
di: Brunello, Andrea, et al.
Pubblicazione: (2025)

A Compositional Framework for On-the-Fly LTLf Synthesis
di: Li, Yongkang, et al.
Pubblicazione: (2025)

LTLf Synthesis Under Unreliable Input
di: Hagemeier, Christian, et al.
Pubblicazione: (2024)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
di: Kettmann, Pascal, et al.
Pubblicazione: (2026)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
di: Cecconi, Alessio, et al.
Pubblicazione: (2023)

Satisfiability Modulo Theories for Verifying MILP Certificates
di: Wood, Kenan, et al.
Pubblicazione: (2023)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
di: Ielo, Antonio, et al.
Pubblicazione: (2024)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
di: Benerecetti, Massimo, et al.
Pubblicazione: (2024)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
di: Feng, Nick, et al.
Pubblicazione: (2024)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
di: Traversié, Thomas
Pubblicazione: (2024)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
di: Traversié, Thomas
Pubblicazione: (2024)

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
di: Isabel, Miguel, et al.
Pubblicazione: (2026)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
di: Peressotti, Marco
Pubblicazione: (2025)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
di: Hofmann, Till, et al.
Pubblicazione: (2024)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
di: Blot, Valentin, et al.
Pubblicazione: (2024)

Canonical Decision Diagrams Modulo Theories
di: Michelutti, Massimo, et al.
Pubblicazione: (2024)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
di: Gerlach, Lina, et al.
Pubblicazione: (2025)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
di: Gianola, Alessandro, et al.
Pubblicazione: (2023)

ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems
di: Garcia-Alcalde, Sofia Garcia de Blas, et al.
Pubblicazione: (2025)

From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells
di: Barbaro, Luca, et al.
Pubblicazione: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
di: de Amorim, Pedro H. Azevedo, et al.
Pubblicazione: (2026)

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

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

Practical Deductive Verification of OCaml Programs (Extended Version)
di: Pereira, Mário
Pubblicazione: (2024)

Towards Proving Liveness on Weak Memory (Extended Version)
di: Bargmann, Lara, et al.
Pubblicazione: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
di: Barenbaum, Pablo, et al.
Pubblicazione: (2025)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2025)