Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
近视验证的概率证书用于安全控制与学习
Zhuoyuan Wang, Haoming Jing, Christian Kurniawan, Albert Chern, Yorie Nakahira
机构
*
Department of Electrical and Computer Engineering, Carnegie Mellon University(电气与计算机工程系,卡内基梅隆大学)
;
Information Systems Technology and Design pillar, Singapore University of Technology and Design(信息系统技术与设计支柱,新加坡科技设计大学)
;
Department of Computer Science and Engineering, University of California San Diego(计算机科学与工程系,加州大学圣地亚哥分校)