Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes (Q2575731): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2005.07.022
@@ Property / DOI: 10.1016/j.tcs.2005.07.022 / rank @@
-Normal rank
@@ Property / author @@
+Joost-Pieter Katoen
@@ Property / author: Joost-Pieter Katoen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2152342144
@@ Property / OpenAlex ID: W2152342144 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57801899
@@ Property / Wikidata QID: Q57801899 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417926
@@ Property / cites work: Q4417926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5137353
@@ Property / cites work: Q5137353 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4368722
@@ Property / cites work: Q4368722 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformization for semi-Markov decision processes under stationary policies
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Sequencing Tasks with Exponential Service Times to Minimize the Expected Flow Time or Makespan
+Normal rank
@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+Normal rank
@@ Property / cites work @@
+Model-checking large structured Markov chains.
@@ Property / cites work: Model-checking large structured Markov chains. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813198
@@ Property / cites work: Q4813198 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Q5820901
@@ Property / cites work: Q5820901 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798030
@@ Property / cites work: Q4798030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255597
@@ Property / cites work: Q4255597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472227
@@ Property / cites work: Q4472227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223191
@@ Property / cites work: Q4223191 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/BaierHKH05
@@ Property / DBLP publication ID: journals/tcs/BaierHKH05 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2005.07.022
@@ Property / DOI: 10.1016/J.TCS.2005.07.022 / rank @@
+Normal rank