Buchumschlag

Saturating automata for game semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dixon, Alex, Murawski, Andrzej S.
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bisimilarity in fresh-register automata
von: Murawski, Andrzej S., et al.
Veröffentlicht: (2020)

Non-deterministic asynchronous automata games and their undecidability
von: Adsul, Bharat, et al.
Veröffentlicht: (2024)

Database-assisted automata learning
von: Walinga, Hielke, et al.
Veröffentlicht: (2024)

Deterministic Parikh automata on infinite words
von: Grobler, Mario, et al.
Veröffentlicht: (2024)

Cerny type automata and rank conjecture
von: Rystsov, Igor
Veröffentlicht: (2025)

Conway's cosmological theorem and automata theory
von: Lairez, Pierre, et al.
Veröffentlicht: (2024)

Cluster automata
von: Kornai, András
Veröffentlicht: (2025)

The complexity of separability for semilinear sets and Parikh automata
von: Collins, Elias Rojas, et al.
Veröffentlicht: (2024)

Diagnosability of labeled $\mathfrak{D_p}$ automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2021)

The complexity of reachability problems in strongly connected finite automata
von: Kiefer, Stefan, et al.
Veröffentlicht: (2025)

Characterizing normality via automata and random matrix products
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2026)

Nondeterminism makes unary 1-limited automata concise
von: Guillon, Bruno, et al.
Veröffentlicht: (2025)

Saturation Problems for Families of Automata
von: Bohn, León, et al.
Veröffentlicht: (2025)

Exact descriptional complexity of determinization of input-driven pushdown automata
von: Martynova, Olga
Veröffentlicht: (2024)

Two-way affine automata can verify every language
von: Chen, Zeyu, et al.
Veröffentlicht: (2025)

Soft state reduction of fuzzy automata over residuated lattices
von: Nguyen, Linh Anh, et al.
Veröffentlicht: (2025)

Deterministic pushdown automata can compress some normal sequences
von: Carton, Olivier, et al.
Veröffentlicht: (2022)

State estimation of timed automata under partial observation [Draft version]
von: Gao, Chao, et al.
Veröffentlicht: (2024)

Execution-time opacity problems in one-clock parametric timed automata
von: André, Étienne, et al.
Veröffentlicht: (2024)

Quantum finite automata and linear context-free languages: a decidable problem
von: Bertoni, A., et al.
Veröffentlicht: (2013)

FocusE: A semantic extension of FocusST
von: Spichkova, Maria
Veröffentlicht: (2025)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
von: Briones, Laura Brandán, et al.
Veröffentlicht: (2025)

Completely reachable automata: a quadratic decision algorithm and a quadratic upper bound on the reaching threshold
von: Ferens, Robert, et al.
Veröffentlicht: (2022)

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2024)

Completeness for categories of generalized automata
von: Boccali, Guido, et al.
Veröffentlicht: (2023)

Linear Matching of JavaScript Regular Expressions
von: Barrière, Aurèle, et al.
Veröffentlicht: (2023)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
von: Nepeivoda, Antonina, et al.
Veröffentlicht: (2025)

Characterizing Implementability of Global Protocols with Infinite States and Data
von: Li, Elaine, et al.
Veröffentlicht: (2024)

Decision Procedure for A Theory of String Sequences
von: Hu, Denghang, et al.
Veröffentlicht: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
von: Stutz, Felix, et al.
Veröffentlicht: (2025)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

Maximal and minimal dynamic Petri net slicing
von: Llorens, Marisa, et al.
Veröffentlicht: (2021)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
von: Jia, Xiaodong, et al.
Veröffentlicht: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Synthesizing DSLs for Few-Shot Learning
von: Krogmeier, Paul, et al.
Veröffentlicht: (2025)

Syntax Repair as Language Intersection
von: Considine, Breandan
Veröffentlicht: (2025)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
von: Li, Elaine, et al.
Veröffentlicht: (2026)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)