Stochastic safety verification using barrier certificates (2004)

by S Prajna, A Jadbabaie, G J Pappas
Venue:in Proc. 43rd IEEE Conference on Decision and Control