Stochastic differential dynamic logic for stochastic hybrid systems

@TECHREPORT{DBLP:conf/cade/Platzer11:TR,
	ref = {DBLP:conf/cade/Platzer11},

  author    = {Andr{\'e} Platzer},
  title     = {Stochastic Differential Dynamic Logic for
               Stochastic Hybrid Systems},
  number    = {CMU-CS-11-111},
  year      = {2011},
  month     = {},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2011/CMU-CS-11-111.pdf}
}```