Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
From MaRDI portal
Publication:3075473
DOI10.1007/978-3-642-18275-4_9zbMath1317.68091OpenAlexW3194663980MaRDI QIDQ3075473
No author found.
Publication date: 15 February 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-18275-4_9
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 ⋮ A survey of partial-observation stochastic parity games ⋮ Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
- On the expressiveness and complexity of randomization in finite state monitors
- A tradeoff between safety and liveness for randomized coordinated attack protocols
- On Decision Problems for Probabilistic Büchi Automata
- Probabilistic automata
- Power of Randomization in Automata on Infinite Strings
- Potentials for denumerable Markov chains
This page was built for publication: Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds