Quantitative model-checking of controlled discrete-time Markov processes (Q515573): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2016.11.006
@@ Property / DOI: 10.1016/j.ic.2016.11.006 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+J20
@@ Property / Mathematics Subject Classification ID: 60J20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q87
@@ Property / Mathematics Subject Classification ID: 68Q87 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6695580
@@ Property / zbMATH DE Number: 6695580 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963907727
@@ Property / OpenAlex ID: W2963907727 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5449
@@ Property / arXiv ID: 1407.5449 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete-Time Controlled Markov Processes with Average Cost Criterion: A Survey
+Normal rank
@@ Property / cites work @@
+Language-guided controller synthesis for discrete-time linear systems
+Normal rank
@@ Property / cites work @@
+Quantitative automata model checking of autonomous stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of dynamic programming
@@ Property / cites work: The theory of dynamic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245701
@@ Property / cites work: Q3245701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+The stochastic processes of Borel gambling and dynamic programming
+Normal rank
@@ Property / cites work @@
+Q3999474
@@ Property / cites work: Q3999474 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic optimal control. The discrete time case
+Normal rank
@@ Property / cites work @@
+Maximizing the probability of attaining a target prior to extinction
+Normal rank
@@ Property / cites work @@
+Markov decision processes and regular events
@@ Property / cites work: Markov decision processes and regular events / rank @@
+Normal rank
@@ Property / cites work @@
+Q3314561
@@ Property / cites work: Q3314561 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation of Markov decision processes with general state space
+Normal rank
@@ Property / cites work @@
+Q5343895
@@ Property / cites work: Q5343895 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled Markov Processes with Arbitrary Numerical Criteria
+Normal rank
@@ Property / cites work @@
+Harmonic analysis of the de Rham complex on the sphere.
+Normal rank
@@ Property / cites work @@
+Handbook of Markov decision processes. Methods and applications
+Normal rank
@@ Property / cites work @@
+On the Existence of Good Markov Strategies
@@ Property / cites work: On the Existence of Good Markov Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive Markov control processes
@@ Property / cites work: Adaptive Markov control processes / rank @@
+Normal rank
@@ Property / cites work @@
+Error bounds for rolling horizon policies in discrete-time Markov control processes
+Normal rank
@@ Property / cites work @@
+Q4255598
@@ Property / cites work: Q4255598 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Modern Probability
@@ Property / cites work: Foundations of Modern Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems with Expected Utility Critera, I: Upper and Lower Convergent Utility
+Normal rank
@@ Property / cites work @@
+Decision Problems with Expected Utility Criteria, II: Stationarity
+Normal rank
@@ Property / cites work @@
+Sequential Decision Problems with Expected Utility Criteria. III: Upper and Lower Transience
+Normal rank
@@ Property / cites work @@
+Control design for specifications on stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4817542
@@ Property / cites work: Q4817542 / rank @@
+Normal rank
@@ Property / cites work @@
+Control Techniques for Complex Networks
@@ Property / cites work: Control Techniques for Complex Networks / rank @@
+Normal rank
@@ Property / cites work @@
+A Borel measurable version of König's lemma for random paths
+Normal rank
@@ Property / cites work @@
+Q4881151
@@ Property / cites work: Q4881151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255523
@@ Property / cites work: Q4255523 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov chains and stochastic stability
@@ Property / cites work: Markov chains and stochastic stability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533878
@@ Property / cites work: Q5533878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
+Normal rank
@@ Property / cites work @@
+Universally Measurable Policies in Dynamic Programming
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
+Normal rank
@@ Property / cites work @@
+Q4396494
@@ Property / cites work: Q4396494 / rank @@
+Normal rank
@@ Property / cites work @@
+Negative Dynamic Programming
@@ Property / cites work: Negative Dynamic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the Existence of Good Stationary Strategies
@@ Property / cites work: On the Existence of Good Stationary Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Gambling Problems with a Limit Inferior Payoff
@@ Property / cites work: Gambling Problems with a Limit Inferior Payoff / rank @@
+Normal rank
@@ Property / cites work @@
+Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Characterization and computation of infinite-horizon specifications over Markov processes
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2016.11.006
@@ Property / DOI: 10.1016/J.IC.2016.11.006 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:515573