A Scenario Approach for Synthesizing k -Inductive Barrier Certificates
A Scenario Approach for Synthesizing k -Inductive Barrier Certificates
复制标题
合成 k 感应势垒证书的场景方法
DOI：
10.1109/lcsys.2022.3184661
复制
发表时间：
2022
影响因子：
3
通讯作者：
Zamani, Majid
中科院分区：
文献类型：
--
作者：
Murali, Vishnu;Trivedi, Ashutosh;Zamani, Majid
