A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates 论文

2007IEEE Transactions on Automatic Control引用 637
DOIPDF
Formal Methods in VerificationSoftware Reliability and Analysis ResearchSafety Systems Engineering in Autonomy
Formal Methods in VerificationSoftware Reliability and Analysis ResearchSafety Systems Engineering in Autonomy
相关技术:Formal Methods in Verification
关系图谱

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates · 作者

G

George J. Pappas

A

Ali Jadbabaie

S

S. Prajna