Browse by Eprint ID
Number of items: 1. Prajna, Stephen and Jadbabaie, Ali and Pappas, George J. (2007) A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates. IEEE Transactions on Automatic Control, 52 (8). pp. 1415-1428. ISSN 0018-9286. https://resolver.caltech.edu/CaltechAUTHORS:PRAieeetac07 |