编辑配置文件（在新选项卡中打开） 拉多斯拉夫·伊万诺夫 合著者距离 作者ID： 伊万诺夫·拉多斯拉夫 发布日期： 拉多斯拉夫·伊万诺夫 已编制索引的文档： 8出版物自2004年起 合著者： 11位合著者具有6联合出版物 262合著作者 全部的 前5名合著者 0 单作者的 5 李因苏普 5 乔治·帕帕斯。 5 詹姆斯·韦默（James E.Weimer）。 三 拉杰夫·阿鲁尔 2 泰勒·J·卡彭特。 1 尼古拉·阿塔纳索夫 1 A.贝多亚。 1 马修·克利夫兰 1 加西亚·塞贡多，C。 1 J·詹姆。 1 林薇薇安 1 林德曼，拉尔斯 1 米罗斯拉夫·帕吉奇 1 罗德里格斯-巴尔德斯，F。 1 奥列格·索科尔斯基 系列 1 人工智能 1 欧洲物理学杂志 1 IEEE自动控制汇刊 1 非线性科学杂志 全部的 前5名领域 5 计算机科学（68至XX） 5 系统理论；控制（93至XX） 1 总体主题；集合（00-XX） 1 常微分方程（34-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 经典热力学，传热（80-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 4出版物有被引用29中的次20文件 引用人▼ 年份▼ 验证：使用神经网络控制器验证混合系统的安全特性。 Zbl 07120152号 拉多斯拉夫·伊万诺夫;詹姆斯·韦默;拉杰夫·阿鲁尔;乔治·帕帕斯。;李因苏普 18 2019 非线性系统的经验平衡截断。 Zbl 1080.93006号 康登，M。;R.伊万诺夫。 14 2004 案例研究：使用神经网络控制器验证自动赛车的安全性。 Zbl 07300869号 伊万诺夫，拉多斯拉夫;泰勒·J·卡彭特。;詹姆斯·韦默;拉杰夫·阿鲁尔;乔治·帕帕斯。;李因苏普 7 2020 Verisig 2.0：使用泰勒模型预处理对神经网络控制器进行验证。 Zbl 1493.68211号 拉多斯拉夫·伊万诺夫;泰勒·卡彭特;詹姆斯·韦默;拉杰夫·阿鲁尔;乔治·帕帕斯;李因苏普 4 2021 Verisig 2.0：使用泰勒模型预处理验证神经网络控制器。 Zbl 1493.68211号 拉多斯拉夫·伊万诺夫;泰勒·卡彭特;詹姆斯·韦默;拉杰夫·阿鲁尔;乔治·帕帕斯;李因苏普 4 2021 案例研究：使用神经网络控制器验证自动赛车的安全性。 Zbl 07300869号 拉多斯拉夫·伊万诺夫;泰勒·J·卡彭特。;詹姆斯·韦默;拉杰夫·阿鲁尔;乔治·帕帕斯。;李因苏普 7 2020 验证：使用神经网络控制器验证混合系统的安全特性。 Zbl 07120152号 拉多斯拉夫·伊万诺夫;詹姆斯·韦默;拉杰夫·阿鲁尔;乔治·帕帕斯。;李因苏普 18 2019 非线性系统的经验平衡截断。 Zbl 1080.93006号 康登，M。;R.伊万诺夫。 14 2004 所有引用出版物 排名前五的出版物 全部的 前5名71位作者引用 三 拉多斯拉夫·伊万诺夫 三 泰勒·T·约翰逊。 2 纳撒尼尔·P·汉密尔顿。 2 凯尔·D·朱利安。 2 海塔姆·凯德 2 Mykel J.Kochenderfer。 2 李因苏普 2 刘志明 2 迭戈·曼扎纳斯·洛佩兹 2 帕特里克·穆索 2 乔治·帕帕斯。 2 亚瑟·舒克利 2 Tran，Hoang-Dung村 2 詹姆斯·韦默（James E.Weimer）。 2 杨晓东 2 曾、夏 1 马蒂亚斯·阿尔霍夫 1 劳拉·阿尔蒂莉·桑巴托洛美 1 拉杰夫·阿鲁尔 1 埃里克·阿塞林 1 巴克·斯坦利 1 克拉克·W·巴雷特。 1 卢卡·博托卢西 1 弗朗西丝卡·凯罗利 1 泰勒·J·卡彭特。 1 阿尔贝托·卡萨格兰德 1 玛格丽特·查普曼。 1 陈、陶璐 1 陈欣 1 亚瑟·克莱维尔 1 克利夫兰，马修 1 丹，陶 1 大卫·L·迪尔。 1 卢卡·多里戈 1 托马索·德罗西 1 瓦尔·法塔斯西 1 詹姆斯·费雷兹 1 克里斯托夫·加里昂 1 埃里克·古博 1 巴德省霍克萨 1 凯兹，盖伊 1 悉尼·M·卡茨。 1 托比亚斯·拉德纳 1 尼古拉斯·劳弗 1 李宣东 1 林薇薇安 1 林，王 1 林德曼，拉尔斯 1 克莱尔·佩吉蒂 1 内拉尼亚娜·帕尔 1 尼古拉·保莱蒂 1 卡拉广场 1 埃莉诺拉·皮皮亚 1 哈桑·普纳瓦拉（Hasan A.Poonawala）。 1 丹尼尔·普罗霍罗夫。 1 Sylvie推杆 1 奥列格·索科尔斯基 1 克里斯托弗·斯特朗。 1 唐恩义 1 唐晓超 1 乌富克托普库 1 王玉恒 1 詹姆斯·C·P·伍德科克。 1 山口，富古屋 1 瓦伦·山本 1 杨正峰 1 曾振兵 1 张艺丹 1 赵恒军 1 赵庆叶 1 赵卓瑜 全部的 前5名6篇连载文章中引用 2 人工智能 1 Automatica公司 1 信息与计算 1 计算的形式方面 1 机器学习 1 系统设计中的形式化方法 在4个字段中引用 18 计算机科学（68至XX） 13 系统理论；控制（93至XX） 1 常微分方程（34-XX） 1 数值分析（65-XX） 按年份列出的引文