Imagen de Portada

Automata for Enriched Trees and Applications

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Blumensath, Achim
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Simple Classes of Automatic Structures
por: Blumensath, Achim
Publicado: (2025)

Step Automata
por: Wang, Yong
Publicado: (2026)

Overview and Roadmap of Team Automata
por: ter Beek, Maurice H., et al.
Publicado: (2025)

Runtime Verification of Interactions Using Automata
por: Weil-Kennedy, Chana, et al.
Publicado: (2025)

Petri Nets and Higher-Dimensional Automata
por: Amrane, Amazigh, et al.
Publicado: (2025)

Compositional Reasoning for Probabilistic Automata with Uncertainty
por: Mertens, Hannah, et al.
Publicado: (2026)

An Expressive Coalgebraic Modal Logic for Cellular Automata
por: Basold, Henning, et al.
Publicado: (2025)

Small Test Suites for Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2024)

Automata Linear Dynamic Logic on Finite Traces
por: Smith, Kevin W., et al.
Publicado: (2021)

Sound Conflict Analysis for Timed Contract Automata
por: Azzopardi, Shaun, et al.
Publicado: (2024)

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
por: Demri, Stephane, et al.
Publicado: (2023)

POPACheck: A Model Checker for Probabilistic Pushdown Automata
por: Pontiggia, Francesco, et al.
Publicado: (2025)

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

Univalent Enriched Categories and the Enriched Rezk Completion
por: van der Weide, Niels
Publicado: (2024)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
por: André, Étienne, et al.
Publicado: (2023)

Compositional Reasoning for Parametric Probabilistic Automata
por: Mertens, Hannah, et al.
Publicado: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
por: Bacci, Giorgio, et al.
Publicado: (2025)

Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words
por: Piórkowski, Radosław
Publicado: (2026)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
por: Faella, Marco, et al.
Publicado: (2024)

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

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
por: Habermehl, Peter, et al.
Publicado: (2024)

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
por: Gallego-Hernández, Jorge, et al.
Publicado: (2025)

Arbitrary-arity Tree Automata and QCTL
por: Laroussinie, François, et al.
Publicado: (2024)

Functoriality of Enriched Data Types
por: Mulder, Lukas, et al.
Publicado: (2025)

Enriching Diagrams with Algebraic Operations
por: Villoria, Alejandro, et al.
Publicado: (2023)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
por: Kapytka, Maryia
Publicado: (2026)

Tree Automata Acceptance up to Measurable Defect
por: Moyasari, Anita, et al.
Publicado: (2026)

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

Enriched Categories for Parameterized Circuit Semantics
por: Wesley, Scott
Publicado: (2025)

Rerailing Automata
por: Ehlers, Rüdiger
Publicado: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
por: Demri, Stéphane, et al.
Publicado: (2026)

Complexity of Verification and Synthesis of Threshold Automata
por: Balasubramanian, A. R., et al.
Publicado: (2020)

Automata on $S$-adic words
por: Berthé, Valérie, et al.
Publicado: (2025)

Intersecting Dense Automata
por: Chistikov, Dmitry, et al.
Publicado: (2026)

On Good-for-MDPs Automata
por: Schewe, Sven, et al.
Publicado: (2022)

Inferring Symbolic Automata
por: Fisman, Dana, et al.
Publicado: (2021)

State Matching and Multiple References in Adaptive Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2024)

Enriching Ontologies with Disjointness Axioms using Large Language Models
por: Crum, Elias, et al.
Publicado: (2024)

Generalized Decidability via Brouwer Trees
por: de Jong, Tom, et al.
Publicado: (2026)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
por: Abdulla, Parosh Aziz, et al.
Publicado: (2024)