Image de couverture de livre

Characterising memory in infinite games

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Casares, Antonio, Ohlmann, Pierre
Format:	Preprint
Publié:	2022
Sujets:	Formal Languages and Automata Theory Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The memory of $ω$-regular and BC($Σ_2^0$) objectives
par: Casares, Antonio, et autres
Publié: (2025)

A positional $\mathbfΠ^0_3$-complete objective
par: Casares, Antonio, et autres
Publié: (2024)

Expregular functions
par: Colcombet, Thomas, et autres
Publié: (2026)

Positional $ω$-regular languages
par: Casares, Antonio, et autres
Publié: (2024)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
par: Benerecetti, Massimo, et autres
Publié: (2025)

Automaton-based Characterisations of First Order Logic over Infinite Trees
par: Benerecetti, Massimo, et autres
Publié: (2026)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
par: Bouyer, Patricia, et autres
Publié: (2022)

Deciding the synthesis problem for hybrid games through bisimulation
par: Dima, Catalin, et autres
Publié: (2024)

Transition-based vs stated-based acceptance for automata over infinite words
par: Casares, Antonio
Publié: (2025)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
par: Doveri, Kyveli, et autres
Publié: (2026)

A Uniform Framework for Language Inclusion Problems
par: Doveri, Kyveli, et autres
Publié: (2024)

Simulation by Rounds of Letter-to-Letter Transducers
par: Nassar, Antonio Abu, et autres
Publié: (2021)

Games on Graphs: From Logic and Automata to Algorithms
par: Fijalkow, Nathanaël, et autres
Publié: (2023)

Positive First-order Logic on Words and Graphs
par: Kuperberg, Denis
Publié: (2022)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
par: Rooduijn, Jan, et autres
Publié: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
par: Das, Anupam, et autres
Publié: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
par: Das, Anupam, et autres
Publié: (2025)

Function spaces for orbit-finite sets
par: Bojańczyk, Mikołaj, et autres
Publié: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
par: Haase, Christoph, et autres
Publié: (2024)

Cyclic system for an algebraic theory of alternating parity automata
par: Das, Anupam, et autres
Publié: (2025)

Layered automata: A canonical model for automata over infinite words
par: Casares, Antonio, et autres
Publié: (2026)

A formal query language and automata model for aggregation in complex event recognition
par: Bourhis, Pierre, et autres
Publié: (2026)

Positive Hennessy-Milner Logic for Branching Bisimulation
par: Geuvers, Herman, et autres
Publié: (2022)

Existential Definability over the Subword Ordering
par: Baumann, Pascal, et autres
Publié: (2022)

Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)
par: Havlena, Vojtěch, et autres
Publié: (2022)

Separators in Continuous Petri Nets
par: Blondin, Michael, et autres
Publié: (2022)

A Hierarchy of Nondeterminism
par: Radi, Bader Abu, et autres
Publié: (2022)

An Elementary Proof of the FMP for Kleene Algebra
par: Kappé, Tobias
Publié: (2022)

On Good-for-MDPs Automata
par: Schewe, Sven, et autres
Publié: (2022)

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
par: Czerwiński, Wojciech, et autres
Publié: (2022)

Monitoring Timed Properties (Revisited)
par: Grosen, Thomas Møller, et autres
Publié: (2022)

A Dichotomy Theorem for Automatic Structures
par: Cuvelier, Antoine, et autres
Publié: (2026)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

The Queue Automaton Revisited
par: Baeten, Jos C. M., et autres
Publié: (2025)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
par: Melgratti, Hernán, et autres
Publié: (2023)

Simplifying LTL Model Checking Given Prior Knowledge
par: Duret-Lutz, Alexandre, et autres
Publié: (2025)

Determinization of Min-Plus Weighted Automata is Decidable
par: Almagor, Shaull, et autres
Publié: (2025)

Unreliability in Practical Subclasses of Communicating Systems
par: Suresh, Amrita, et autres
Publié: (2025)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
par: Di Giusto, Cinzia, et autres
Publié: (2025)