Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs

@inproceedings{Platzer2011StochasticDD,
  title={Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs},
  author={Andr{\'e} Platzer},
  booktitle={CADE},
  year={2011}
}
Logic is a powerful tool for analyzing and verifying systems, including programs, discrete systems, real-time systems, hybrid systems, and distributed systems. Some applications also have a stochastic behavior, however, either because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Discrete… CONTINUE READING