Branching-time model-checking of probabilistic pushdown automata (Q394999): 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.1016/j.jcss.2013.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2088970711
@@ Property / OpenAlex ID: W2088970711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536611
@@ Property / cites work: Q4536611 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results on branching-time pushdown model checking
+Normal rank
@@ Property / cites work @@
+Discounted Properties of Probabilistic Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Q5417673
@@ Property / cites work: Q5417673 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-Time Model-Checking of Probabilistic Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Reachability in recursive Markov decision processes
+Normal rank
@@ Property / cites work @@
+Qualitative Reachability in Stochastic BPA Games
@@ Property / cites work: Qualitative Reachability in Stochastic BPA Games / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing probabilistic pushdown automata
@@ Property / cites work: Analyzing probabilistic pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2005. 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24--26, 2005. Proceedings.
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Pushdown Automata
@@ Property / cites work: Model Checking Probabilistic Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking LTL with regular valuations for pushdown systems
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
+Normal rank
@@ Property / cites work @@
+Model Checking of Recursive Probabilistic Systems
@@ Property / cites work: Model Checking of Recursive Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322961
@@ Property / cites work: Q3322961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472439
@@ Property / cites work: Q4472439 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:394999