米尔科·贾科布
人员信息
优化列表
2020年–今天
2024 【c21】 亚历山德罗·阿巴特 , 米尔科·贾科布 , 扬尼克·施尼策 :
互模拟学习。 CAV(3) 2024 : 161-183 [公元20年] 亚历山德罗·阿巴特 , 米尔科·贾科布 , 迪帕科·罗伊 :
超市的随机欧米茄规则验证和控制。 CAV(3) 2024 : 395-419 [e1] 盖伊·阿夫尼 , 米尔科·贾科布 , 泰勒·T·约翰逊 , 盖伊·卡茨 , 安娜·卢基纳 , 尼娜·纳罗季斯卡 , 克里斯蒂安·席林 :
AI验证——首届国际研讨会,SAIV 2024,蒙特利尔,QC,加拿大,2024年7月22日至23日,会议记录。 计算机科学课堂讲稿 14846, 施普林格 2024 ,国际标准图书编号 978-3-031-65111-3 [目录] [i10] 亚历山德罗·阿巴特 , 米尔科·贾科布 , 扬尼克·施尼策 :
互模拟学习。 CoRR公司 abs/2405.15723 ( 2024 ) [第九章] 亚历山德罗·阿巴特 , 米尔科·贾科布 , 迪帕科·罗伊 :
超市的随机欧米茄规则验证和控制。 CoRR公司 abs/2405.17304 ( 2024 ) 2023 [第19条] 亚历山德罗·阿巴特 , 亚历克·爱德华兹 , 米尔科·贾科布 , 哈珊·普奇赫瓦 , 迪帕科·罗伊 :
用神经网络进行定量验证。 CONCUR公司 2023 : 22:1-22:18 [c18] 亚历克·爱德华兹 , 米尔科·贾科布 , 亚历山德罗·阿巴特 :
关于神经提取效率和精度之间的权衡。 QEST公司 2023 : 152-171 [i8] 亚历山德罗·阿巴特 , 亚历克·爱德华兹 , 米尔科·贾科布 , 哈珊·普奇赫瓦 , 迪帕科·罗伊 :
概率程序和随机系统的神经网络定量验证。 CoRR公司 abs/2301.06136 ( 2023 ) [i7] 亚历山德罗·阿巴特 , 亚历克·爱德华兹 , 米尔科·贾科布 :
神经抽象。 CoRR公司 abs/2301.11683 ( 2023 ) [i6] 亚历克·爱德华兹 , 米尔科·贾科布 , 亚历山德罗·阿巴特 :
关于神经提取效率和精度之间的权衡。 CoRR公司 abs/2307.15546 ( 2023 ) 2022 [j3] 玉龙高 , 亚历山德罗·阿巴特 , 弗兰克·J·江 , 米尔科·贾科布 , 谢丽华 , 卡尔·亨利克·约翰逊 :
不确定离散时间系统模型检验和控制综合的时序逻辑树。 IEEE传输。 自动。 控制。 67 ( 10 ) : 5071-5086 ( 2022 ) [c17] 戈兰·弗雷斯 , 米尔科·贾科布 , 埃娜·扎法内拉 :
线性混合自动机的符号分析——25年后。 系统设计原则 2022 : 39-60 [第16条] 亚历山德罗·阿巴特 , 亚历克·爱德华兹 , 米尔科·贾科布 :
神经抽象。 NeurIPS公司 2022 [第15条] 米尔科·贾科布 , 丹尼尔·克罗宁 , 朱利安·帕塞特 :
神经终止分析。 ESEC/SIGSOFT FSE 2022 : 633-645 2021 [注2] 亚历山德罗·阿巴特 , 丹尼尔·艾哈迈德 , 米尔科·贾科布 , 安德烈亚·佩鲁福 :
Lyapunov神经网络的形式化综合。 IEEE控制。 系统。 莱特。 5 ( 三 ) : 773-778 ( 2021 ) [第14条] 米尔科·贾科布 , 穆罕默德·哈桑贝格 , 丹尼尔·克罗宁 , Hjalmar Wijk公司 :
用有限的先见之明保护Atari游戏。 美国原子能机构 2021 : 1507-1509 [第13条] 亚历山德罗·阿巴特 , 米尔科·贾科布 , 迪帕科·罗伊 :
学习概率终止证明。 CAV(2) 2021 : 3-26 [c12] 亚历山德罗·阿巴特 , 丹尼尔·艾哈迈德 , 亚历克·爱德华兹 , 米尔科·贾科布 , 安德烈亚·佩鲁福 :
使用神经网络对Lyapunov函数和屏障证书进行形式化合成的软件工具。 甘道夫覆盖层 2021 : 73-75 [第11条] 亚历山德罗·阿巴特 , 丹尼尔·艾哈迈德 , 亚历克·爱德华兹 , 米尔科·贾科布 , 安德里亚·佩鲁福 :
FOSSIL:使用神经网络对lyapunov函数和屏障证书进行形式化合成的软件工具。 高速列车控制中心 2021 : 24:1-24:11 [第10条] 爱德华多·巴奇 , 米尔科·贾科布 , 大卫·帕克 :
验证无限强化学习。 国际JCAI 2021 : 2154-2160 [i5] 米尔科·贾科布 , 穆罕默德·哈桑贝格 , 丹尼尔·克罗宁 , Hjalmar Wijk公司 :
用有限的先见之明保护Atari游戏。 CoRR公司 abs/2101.08153 ( 2021 ) [i4] 米尔科·贾科布 , 丹尼尔·克罗宁 , 朱利安·帕塞特 :
神经终止分析。 CoRR公司 abs/2102.03824 ( 2021 ) 2020 【c9】 米尔科·贾科布 , 托马斯·汉津格 , 马蒂亚斯·莱切纳 :
量化你的神经网络需要多少比特? TACAS(2) 2020 : 79-97 [i3] 亚历山德罗·阿巴特 , 丹尼尔·艾哈迈德 , 米尔科·贾科布 , 安德里亚·佩鲁福 :
Lyapunov神经网络的自动形式化综合。 CoRR公司 abs/2003.08910 ( 2020 ) [i2] 玉龙高 , 亚历山德罗·阿巴特 , 弗兰克·J·江 , 米尔科·贾科布 , 谢丽华 , 卡尔·亨利克·约翰逊 :
不确定离散时间系统模型检验和控制综合的时序逻辑树。 CoRR公司 腹肌/2007.02271 ( 2020 )
2010 – 2019
2019 【c8】 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 安娜·贝基 , 雷布 , 亚历山德罗·西马蒂 , 米尔科·贾科布 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 穆罕默德·赛义法·穆菲德 , 伊德里斯·里奥亚克 , 斯特凡诺·托内塔 , 埃娜·扎法内拉 :
ARCH-COMP19类别报告:具有分段恒定动力学的混合系统。 建筑@CPSIoTWeek 2019 : 1-13 [第1页] 拉杰夫·阿鲁尔 , 米尔科·贾科布 , 托马斯·汉津格 , 金·拉森 , 马吕斯·米库西奥尼斯 :
系统设计和分析的连续时间模型。 计算与软件科学 2019 : 452-477 2018 【c7】 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 雷布 , 米尔科·贾科布 , 穆罕默德·赛义法·穆菲德 , 埃娜·扎法内拉 :
ARCH-COMP18类别报告:具有分段恒定动力学的混合系统。 ADHS建筑 2018 : 1-13 【c6】 戈兰·弗雷斯 , 米尔科·贾科布 , 托马斯·汉津格 :
时空插值。 CAV(1) 2018 : 468-486 2017 [j1] 米尔科·贾科布 , Calin C.Guet公司 , 阿舒托什·古普塔 , 托马斯·汉津格 , 蒂亚戈·派克斯昂 , 塔贾娜·彼得罗夫 :
检查基因调控网络进化的模型。 信息学报 54 ( 8 ) : 765-787 ( 2017 ) 【c5】 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 雷布 , 米尔科·贾科布 :
ARCH-COMP17类别报告:具有分段恒定动力学的混合系统。 建筑@CPSWeek 2017 : 124-133 【c4】 塞尔吉·博戈莫洛夫 , 米尔科·贾科布 , 托马斯·汉津格 , 香港汇 :
混合系统的圆锥抽象。 格式 2017 : 116-132 【c3】 塞尔吉·博戈莫洛夫 , 戈兰·弗雷斯 , 米尔科·贾科布 , 托马斯·汉津格 :
反例——模板多面体的引导精化。 TACAS(1) 2017 : 589-606 2015 【c2】 米尔科·贾科布 , Calin C.Guet公司 , 阿舒托什·古普塔 , 托马斯·汉津格 , 蒂亚戈·派克斯昂 , 塔贾娜·彼得罗夫 :
模型检查基因调控网络。 TACAS公司 2015 : 469-483 2014 [i1] 米尔科·贾科布 , Calin C.Guet公司 , 阿舒托什·古普塔 , 托马斯·汉津格 , 蒂亚戈·派克斯昂 , 塔贾娜·彼得罗夫 :
模型检查基因调控网络。 CoRR公司 abs/1410.7704 ( 2014 ) 2013 【c1】 塞巴斯蒂安·比亚拉斯 , 米尔科·贾科布 , 斯特凡·科瓦列夫斯基 :
可编程逻辑控制器的谓词抽象。 飞行管理信息系统 2013 : 123-138