陈刚
近期热点
资料介绍
个人简历
研究领域
""控制理论,形式化方法,与机器学习。具体包括信息物理系统的设计,仿真,验证与状态监测,及基于形式化方法的智能系统控制。""""近期论文
相关热点
最新收录
- 拉斐尔·纳达尔 05-29
- 安德烈·阿加西 05-29
- 罗杰·费德勒 05-29
- 樱坂凛花 (桜坂りんか R 05-27
- 优里なお(优里奈央,Yur 05-27
- 夕美紫苑(夕美しおん Sh 05-27
- 椎名美优(椎名みゆ) 05-27
- 就是阿朱啊 05-27
- 樱若菜(さくらわかな) 05-27
- 河西圣奈(河西聖奈) 05-27