Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata

DOI10.1007/978-3-662-54458-7_14zbMath1486.68093OpenAlexW2612374306MaRDI QIDQ2988371

No author found.

Publication date: 19 May 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54458-7_14

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)

Related Items (5)

Ambiguity, weakness, and regularity in probabilistic Büchi automata ⋮ Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata ⋮ Decidable and expressive classes of probabilistic automata ⋮ Probabilistic automata of bounded ambiguity ⋮ Probabilistic Automata of Bounded Ambiguity

Cites Work

• Unnamed Item
• Unnamed Item
• Optimal search for rationals
• Probabilistic Automata with Isolated Cut-Points
• Decidable and Expressive Classes of Probabilistic Automata
• Deciding the Value 1 Problem for Probabilistic Leaktight Automata
• Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata
• Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
• On the expressiveness and complexity of randomization in finite state monitors
• Model Checking Failure-Prone Open Systems Using Probabilistic Automata
• Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
• Probabilistic automata
• Power of Randomization in Automata on Infinite Strings
• Power of Randomization in Automata on Infinite Strings
• Potentials for denumerable Markov chains

This page was built for publication: Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata