Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata (Q2988371): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-54458-7_14
+Normal rank
@@ Property / OpenAlex ID @@
+W2612374306
@@ Property / OpenAlex ID: W2612374306 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable and Expressive Classes of Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Model Checking Failure-Prone Open Systems Using Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Q4093372
@@ Property / cites work: Q4093372 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness and complexity of randomization in finite state monitors
+Normal rank
@@ Property / cites work @@
+Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
+Normal rank
@@ Property / cites work @@
+Power of Randomization in Automata on Infinite Strings
+Normal rank
@@ Property / cites work @@
+Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Power of Randomization in Automata on Infinite Strings
+Normal rank
@@ Property / cites work @@
+Probabilistic Automata with Isolated Cut-Points
@@ Property / cites work: Probabilistic Automata with Isolated Cut-Points / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the Value 1 Problem for Probabilistic Leaktight Automata
+Normal rank
@@ Property / cites work @@
+Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
+Normal rank
@@ Property / cites work @@
+Potentials for denumerable Markov chains
@@ Property / cites work: Potentials for denumerable Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal search for rationals
@@ Property / cites work: Optimal search for rationals / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2988371