德金仁
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 【c2】 德金仁 , 万里路 , 吕冀东 , 张丽君 , 白雪 :
基于Reach-avoid分析的模型预测控制。 国际JCAI 2023 : 5437-5445 【c1】 甄亮 , 德金仁 , 刘万伟 , Ji Wang(音译) , 杨文静 , 白雪 :
基于集边界分析的神经网络安全性验证。 泰塞 2023 : 248-267 [i4] 德金仁 , 万里路 , 吕继东 , 张丽君 , 白雪 :
基于Reach-avoid分析的模型预测控制。 CoRR公司 abs/2305.08712 ( 2023 ) [i3] 甄亮 , 德金仁 , 白雪 , Ji Wang(音译) , 杨文静 , 刘万伟 :
从拓扑角度验证神经网络的安全性。 CoRR公司 abs/2306.15403 ( 2023 ) [i2] 陶然·吴 , 德金仁 , 张书远(Shuyuan Zhang) , 王磊(Lei Wang) , 白雪 :
测量不确定采样数据系统的可达性分析。 CoRR公司 abs/2310.04961 ( 2023 ) 2022 [i1] 甄亮 , 德金仁 , 刘万伟 , Ji Wang(音译) , 杨文静 , 白雪 :
基于集边界分析的神经网络安全性验证。 CoRR公司 abs/2210.04175 ( 2022 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)