Unbounded-Time Safety Verification of Stochastic Differential Dynamics

Image credit: Freepik

“While writing my book [Stochastic Processes] I had an argument with Feller. He asserted that everyone said ‘random variable’ and I asserted that everyone said ‘chance variable’. We obviously had to use the same name in our books, so we decided the issue by a stochastic procedure. That is, we tossed for it and he won.”

Joseph L. Doob, 1910 – 2004

A blog post (in Chinese) for this publication.

Mingshuai Chen
Mingshuai Chen
ZJU100 Young Professor

My research interests include formal verification, programming theory, and logical aspects of computer science.