A framework for worst-case and stochastic safety verification using barrier certificates. (2007)

by S Prajna, A Jadbabaie, G J Pappas
Venue:IEEE Transactions on Automatic Control,