A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
IEEE Transactions on Automatic Control - United States
doi 10.1109/tac.2007.902736
Full Text
Open PDFAbstract
Available in full text
Date
August 1, 2007
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)