Image de couverture de livre

Decision Questions for Probabilistic Automata on Small Alphabets

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bell, Paul C., Semukhin, Pavel
Format:	Preprint
Publié:	2021
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

Rerailing Automata
par: Ehlers, Rüdiger
Publié: (2025)

Inferring Symbolic Automata
par: Fisman, Dana, et autres
Publié: (2021)

Intersecting Dense Automata
par: Chistikov, Dmitry, et autres
Publié: (2026)

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

Automata on $S$-adic words
par: Berthé, Valérie, et autres
Publié: (2025)

Variants of Higher-Dimensional Automata
par: Bazille, Hugo, et autres
Publié: (2026)

Quantitative Semantics for Jumping Automata
par: Almagor, Shaull, et autres
Publié: (2024)

History-deterministic Timed Automata
par: Bose, Sougata, et autres
Publié: (2023)

Parikh Automata on Finite and Infinite Words
par: Grobler, Mario, et autres
Publié: (2023)

Knowledge Compilation for Quantification in Alternating Automata
par: Akshay, S., et autres
Publié: (2026)

Logic and Languages of Higher-Dimensional Automata
par: Amrane, Amazigh, et autres
Publié: (2024)

Arbitrary-arity Tree Automata and QCTL
par: Laroussinie, François, et autres
Publié: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
par: Zouari, Safa, et autres
Publié: (2024)

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

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

Invariants for One-Counter Automata with Disequality Tests
par: Chistikov, Dmitry, et autres
Publié: (2024)

Feasability of Learning Weighted Automata on a Semiring
par: Daviaud, Laure, et autres
Publié: (2023)

Discounted-Sum Automata with Multiple Discount Factors
par: Boker, Udi, et autres
Publié: (2023)

Random Deterministic Automata With One Added Transition
par: Carayol, Arnaud, et autres
Publié: (2024)

Automating the Analysis of Quantitative Automata with QuAK
par: Chalupa, Marek, et autres
Publié: (2025)

Extending QuAK with Nested Quantitative Automata
par: Henzinger, Thomas A., et autres
Publié: (2026)

Tree Automata Acceptance up to Measurable Defect
par: Moyasari, Anita, et autres
Publié: (2026)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
par: Radi, Bader Abu, et autres
Publié: (2025)

Unknown Biases and Timing Constraints in Timed Automata
par: Haase, Darion, et autres
Publié: (2024)

Complementation of Emerson-Lei Automata (Technical Report)
par: Havlena, Vojtěch, et autres
Publié: (2024)

Complete Test Suites for Automata in Monoidal Closed Categories
par: Kocsis, Bálint, et autres
Publié: (2024)

Higher-Dimensional Timed Automata for Real-Time Concurrency
par: Amrane, Amazigh, et autres
Publié: (2024)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
par: Jecker, Ismaël, et autres
Publié: (2023)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
par: Guha, Shibashis, et autres
Publié: (2021)

Automata-less Monitoring via Trace-Checking (Extended Version)
par: Brunello, Andrea, et autres
Publié: (2025)

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

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
par: Guha, Shibashis, et autres
Publié: (2026)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
par: Holík, Lukáš, et autres
Publié: (2025)

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
par: Daviaud, Laure, et autres
Publié: (2023)

A Direct Translation from LTL with Past to Deterministic Rabin Automata
par: Azzopardi, Shaun, et autres
Publié: (2024)

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
par: Takata, Yoshiaki, et autres
Publié: (2024)

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

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

A Formal Framework for the Explanation of Finite Automata Decisions
par: Granada, Jaime Cuartas, et autres
Publié: (2026)

Robust Probabilistic Temporal Logics
par: Zimmermann, Martin
Publié: (2023)