Buchumschlag

Step Automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wang, Yong
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automata for Enriched Trees and Applications
von: Blumensath, Achim
Veröffentlicht: (2025)

Overview and Roadmap of Team Automata
von: ter Beek, Maurice H., et al.
Veröffentlicht: (2025)

Compositional Reasoning for Probabilistic Automata with Uncertainty
von: Mertens, Hannah, et al.
Veröffentlicht: (2026)

Runtime Verification of Interactions Using Automata
von: Weil-Kennedy, Chana, et al.
Veröffentlicht: (2025)

Petri Nets and Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2025)

An Expressive Coalgebraic Modal Logic for Cellular Automata
von: Basold, Henning, et al.
Veröffentlicht: (2025)

Small Test Suites for Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

Automata Linear Dynamic Logic on Finite Traces
von: Smith, Kevin W., et al.
Veröffentlicht: (2021)

Sound Conflict Analysis for Timed Contract Automata
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2024)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
von: Benerecetti, Massimo, et al.
Veröffentlicht: (2024)

POPACheck: A Model Checker for Probabilistic Pushdown Automata
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2025)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
von: André, Étienne, et al.
Veröffentlicht: (2023)

Compositional Reasoning for Parametric Probabilistic Automata
von: Mertens, Hannah, et al.
Veröffentlicht: (2025)

Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words
von: Piórkowski, Radosław
Veröffentlicht: (2026)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
von: Faella, Marco, et al.
Veröffentlicht: (2024)

A General Automata Model for First-Order Temporal Logics (Extended Version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
von: Habermehl, Peter, et al.
Veröffentlicht: (2024)

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

Lower Bounds on Inverse Cellular Automata via Proof Complexity
von: Kapytka, Maryia
Veröffentlicht: (2026)

Error-awareness Accelerates Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

Rerailing Automata
von: Ehlers, Rüdiger
Veröffentlicht: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
von: Demri, Stéphane, et al.
Veröffentlicht: (2026)

Finitary Truly Concurrent Bisimulations
von: Wang, Yong
Veröffentlicht: (2026)

Structural Operational Semantics for True Concurrency
von: Wang, Yong
Veröffentlicht: (2026)

Computation and Concurrency
von: Wang, Yong
Veröffentlicht: (2024)

Complexity of Verification and Synthesis of Threshold Automata
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2020)

Big Steps in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Intersecting Dense Automata
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2026)

On Good-for-MDPs Automata
von: Schewe, Sven, et al.
Veröffentlicht: (2022)

Automata on $S$-adic words
von: Berthé, Valérie, et al.
Veröffentlicht: (2025)

Inferring Symbolic Automata
von: Fisman, Dana, et al.
Veröffentlicht: (2021)

State Matching and Multiple References in Adaptive Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

Operational Inexpressibility at the Step-Duplicating Primitive Recursor Orientation Boundary
von: Rahnama, Moses
Veröffentlicht: (2026)

Quantum Büchi Automata
von: Wang, Qisheng, et al.
Veröffentlicht: (2018)

Variants of Higher-Dimensional Automata
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

Quantitative Semantics for Jumping Automata
von: Almagor, Shaull, et al.
Veröffentlicht: (2024)

History-deterministic Timed Automata
von: Bose, Sougata, et al.
Veröffentlicht: (2023)

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

Knowledge Compilation for Quantification in Alternating Automata
von: Akshay, S., et al.
Veröffentlicht: (2026)