Runtime monitors for Markov decision processes (Q832291): Difference between revisions

@@ Property / cites work @@
+Probabilistic black-box reachability checking (extended version)
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Run-time optimization for learned controllers through quantitative games
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+The quickhull algorithm for convex hulls
@@ Property / cites work: The quickhull algorithm for convex hulls / rank @@
+Normal rank
@@ Property / cites work @@
+Active Diagnosis for Probabilistic Systems
@@ Property / cites work: Active Diagnosis for Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A tale of two diagnoses in probabilistic systems
@@ Property / cites work: A tale of two diagnoses in probabilistic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Shield Synthesis:
@@ Property / cites work: Shield Synthesis: / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal cost almost-sure reachability in POMDPs
@@ Property / cites work: Optimal cost almost-sure reachability in POMDPs / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-Observation Stochastic Games
@@ Property / cites work: Partial-Observation Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Permissive Controller Synthesis for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Model-based testing of probabilistic systems
@@ Property / cites work: Model-based testing of probabilistic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5009434
@@ Property / cites work: Q5009434 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval iteration algorithm for MDPs and IMDPs
@@ Property / cites work: Interval iteration algorithm for MDPs and IMDPs / rank @@
+Normal rank
@@ Property / cites work @@
+Optimistic value iteration
@@ Property / cites work: Optimistic value iteration / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of the runtime verification tool Java PathExplorer
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of nonlinear hybrid systems
@@ Property / cites work: Algorithmic analysis of nonlinear hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089265
@@ Property / cites work: Q5089265 / rank @@
+Normal rank
@@ Property / cites work @@
+Distinguishing Hidden Markov Chains
@@ Property / cites work: Distinguishing Hidden Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Verification and control of partially observable probabilistic systems
+Normal rank
@@ Property / cites work @@
+The Complexity of Markov Decision Processes
@@ Property / cites work: The Complexity of Markov Decision Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of challenges for runtime verification from advanced application domains (beyond software)
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Monitoring Temporal Properties of Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Q5713453
@@ Property / cites work: Q5713453 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank