当前位置:首页  学术信息

【石榴大讲堂】Synthesizing (Differential) Invariants by Reduction Non-Convex Programming to SDP

时间:2023-11-23作者:来源:bevictor伟德点击:362


地址:江苏省南京市江宁区将军大道29号

邮政编码: 211106

版权所有:bevictor伟德/人工智能bevictor伟德 ALL RIGHTS RESERVED 苏ICP备05070685号 后台管理 书记信箱 院长信箱

Baidu
sogou