:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Wang, Yong
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2603.08043
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automata for Enriched Trees and Applications
by: Blumensath, Achim
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Rerailing Automata
by: Ehlers, Rüdiger
Published: (2025)

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

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

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

Intersecting Dense Automata
by: Chistikov, Dmitry, et al.
Published: (2026)

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

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

Inferring Symbolic Automata
by: Fisman, Dana, et al.
Published: (2021)

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

Quantum Büchi Automata
by: Wang, Qisheng, et al.
Published: (2018)

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

Variants of Higher-Dimensional Automata
by: Bazille, Hugo, et al.
Published: (2026)

Quantitative Semantics for Jumping Automata
by: Almagor, Shaull, et al.
Published: (2024)

History-deterministic Timed Automata
by: Bose, Sougata, et al.
Published: (2023)

Finitary Truly Concurrent Bisimulations
by: Wang, Yong
Published: (2026)

Structural Operational Semantics for True Concurrency
by: Wang, Yong
Published: (2026)

Computation and Concurrency
by: Wang, Yong
Published: (2024)

Knowledge Compilation for Quantification in Alternating Automata
by: Akshay, S., et al.
Published: (2026)

Parikh Automata on Finite and Infinite Words
by: Grobler, Mario, et al.
Published: (2023)

Logic and Languages of Higher-Dimensional Automata
by: Amrane, Amazigh, et al.
Published: (2024)

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