DMCA

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

by Stephen Prajna , Ali Jadbabaie , George J. Pappas
Venue:IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Citations:50 - 1 self