Delayed Nondeterminism in Continuous-Time Markov Decision Processes (Q3617741): Difference between revisions

@@ Property / author @@
+Joost-Pieter Katoen
@@ Property / author: Joost-Pieter Katoen / rank @@
+Normal rank
@@ 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-642-00596-1_26
+Normal rank
@@ Property / OpenAlex ID @@
+W2168234479
@@ Property / OpenAlex ID: W2168234479 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous-time probabilistic automata
@@ Property / cites work: Continuous-time probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of recent results on continuous-time Markov decision processes (with comments and rejoinder)
+Normal rank
@@ Property / cites work @@
+Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754096
@@ Property / cites work: Q2754096 / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q3976676
@@ Property / cites work: Q3976676 / rank @@
+Normal rank
@@ Property / cites work @@
+The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
+Normal rank
@@ Property / cites work @@
+Q5820901
@@ Property / cites work: Q5820901 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
+Normal rank