Copertina

History-deterministic Timed Automata

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bose, Sougata, Henzinger, Thomas A., Lehtinen, Karoliina, Schewe, Sven, Totzke, Patrick
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Formal Languages and Automata Theory Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Parity Games on Temporal Graphs
di: Austin, Pete, et al.
Pubblicazione: (2023)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
di: Guha, Shibashis, et al.
Pubblicazione: (2021)

History-deterministic Parikh Automata
di: Erlich, Enzo, et al.
Pubblicazione: (2022)

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

The Power of Counting Steps in Quantitative Games
di: Bose, Sougata, et al.
Pubblicazione: (2024)

Token Games and History-Deterministic Quantitative-Automata
di: Boker, Udi, et al.
Pubblicazione: (2021)

Automating the Analysis of Quantitative Automata with QuAK
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

Extending QuAK with Nested Quantitative Automata
di: Henzinger, Thomas A., et al.
Pubblicazione: (2026)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
di: Casares, Antonio, et al.
Pubblicazione: (2023)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
di: Lehtinen, Karoliina, et al.
Pubblicazione: (2025)

Explorability in Pushdown Automata
di: Bedi, Ayaan, et al.
Pubblicazione: (2025)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Resolving Nondeterminism with Randomness
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Unknown Biases and Timing Constraints in Timed Automata
di: Haase, Darion, et al.
Pubblicazione: (2024)

Higher-Dimensional Timed Automata for Real-Time Concurrency
di: Amrane, Amazigh, et al.
Pubblicazione: (2024)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
di: Radi, Bader Abu, et al.
Pubblicazione: (2025)

Rerailing Automata
di: Ehlers, Rüdiger
Pubblicazione: (2025)

Intersecting Dense Automata
di: Chistikov, Dmitry, et al.
Pubblicazione: (2026)

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

Inferring Symbolic Automata
di: Fisman, Dana, et al.
Pubblicazione: (2021)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
di: Doveri, Kyveli, et al.
Pubblicazione: (2026)

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
di: De Giacomo, Giuseppe, et al.
Pubblicazione: (2025)

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

Quantitative Semantics for Jumping Automata
di: Almagor, Shaull, et al.
Pubblicazione: (2024)

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

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

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

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

Bisimulations and Logics for Higher-Dimensional Automata
di: Zouari, Safa, et al.
Pubblicazione: (2024)

Feasability of Learning Weighted Automata on a Semiring
di: Daviaud, Laure, et al.
Pubblicazione: (2023)

Discounted-Sum Automata with Multiple Discount Factors
di: Boker, Udi, et al.
Pubblicazione: (2023)

Determinization of Min-Plus Weighted Automata is Decidable
di: Almagor, Shaull, et al.
Pubblicazione: (2025)

How Concise are Chains of co-Büchi Automata?
di: Ehlers, Rüdiger
Pubblicazione: (2026)

Invariants for One-Counter Automata with Disequality Tests
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

Decision Questions for Probabilistic Automata on Small Alphabets
di: Bell, Paul C., et al.
Pubblicazione: (2021)

Random Deterministic Automata With One Added Transition
di: Carayol, Arnaud, et al.
Pubblicazione: (2024)

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

Complementation of Emerson-Lei Automata (Technical Report)
di: Havlena, Vojtěch, et al.
Pubblicazione: (2024)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
di: Jecker, Ismaël, et al.
Pubblicazione: (2023)

Complete Test Suites for Automata in Monoidal Closed Categories
di: Kocsis, Bálint, et al.
Pubblicazione: (2024)