Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (Q5200042): Difference between revisions

@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Q3434956
@@ Property / cites work: Q3434956 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic dynamic logic
@@ Property / cites work: A probabilistic dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
+Normal rank
@@ Property / cites work @@
+Ergodic Control of Switching Diffusions
@@ Property / cites work: Ergodic Control of Switching Diffusions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953390
@@ Property / cites work: Q4953390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002114
@@ Property / cites work: Q4002114 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3010640
@@ Property / cites work: Q3010640 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic stability and control
@@ Property / cites work: Stochastic stability and control / rank @@
+Normal rank
@@ Property / cites work @@
+Assume-Guarantee Verification for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic differential equations. An introduction with applications.
+Normal rank
@@ Property / cites work @@
+Differential-algebraic Dynamic Logic for Differential-algebraic Programs
+Normal rank
@@ Property / cites work @@
+Quantified Differential Dynamic Logic for Distributed Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Markov logic networks
@@ Property / cites work: Markov logic networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Bayesian statistical model checking with application to Simulink/Stateflow verification
+Normal rank