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

@@ 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