停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2019年第31届CAV：美国纽约州纽约市

>主页 >会议和研讨会 >CAV汽车

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2019-1
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2019-1
伊西尔·迪利格,塞尔达尔·塔西兰:
计算机辅助验证-第31届国际会议，2019年7月15日至18日，美国纽约市CAV 2019，会议记录，第一部分。计算机科学课堂讲稿11561,施普林格 2019，国际标准图书编号电话：978-3-030-25539-8

自动机和定时系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DAntoniFS019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DAntoniFS019
洛里斯·德安东尼,蒂亚戈·费雷拉,马泰奥·桑马蒂诺,亚历山德拉·席尔瓦:
符号寄存器自动机。 3-21
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RoussanalySM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RoussanalySM19
维克托·鲁萨纳利,奥坎·桑库尔,尼古拉斯·马基:
时间自动机的抽象精化算法。 22-40
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Gastin0S19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Gastin0S19
保罗·加斯廷,萨扬·穆克吉,B.斯里瓦桑:
时间自动机中处理对角线约束的快速算法。 41-59
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/班萨尔V19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BansalV19
苏古曼·班萨尔,莫舍·瓦尔迪:
安全与共安全自动比较器，用于折扣-总和包含。 60-78
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KolblLW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KolblLW19
马丁·科尔布尔,斯特凡·洛伊,托马斯·维斯:
定时系统的时钟限制维修。 79-96
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LangeY19型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LangeY19
朱利安·兰格,吉田信子:
通过通信会话自动机验证异步交互。 97-117

安全性和超属性

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CoenenFST19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CoenenFST19
挪威科宁,伯恩德·芬克贝纳,塞萨尔·桑切斯,Leander Tentrup公司:
验证Hyperliveness。 121-139
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Tizpaz-NiariC019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Tizpaz-NiariC019
塞伊德·蒂兹帕兹·尼亚里,帕沃尔·塞恩,阿什图什·特里维迪:
定时侧信道的定量缓解。 140-160
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ShemerGSV19型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ShemerGSV19
罗恩·谢默,阿里·古芬克尔,沙伦·肖姆,亚基尔·维泽尔:
属性导向的自我组合。 161-179年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ElfarWP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ElfarWP19
马哈茂德·埃尔法尔,Yu Wang（王宇）,米罗斯拉夫·帕季奇:
使用延迟动作游戏的安全感知合成。 180-199年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FarzanV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FarzanV19
阿扎德·法尔赞,安东尼·范迪卡斯:
自动超安全验证。 200至218
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KangLT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KangLT19
Eunsuk Kang公司,斯特凡·拉福琼,斯塔夫罗斯·特里帕基斯:
安全平台映射的自动合成。 219-237

合成

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DimitrovaFT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DimitrovaFT19
雷娜·迪米特洛娃,伯恩德·芬克贝纳,哈泽姆·托法:
为无法实现的规范合成近似实现。 241-258
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FedyukovichPMG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FedyukovichPMG19
格里戈里·费德尤科维奇,苏曼特·帕布,库马尔·马杜卡尔,阿尔蒂·古普塔:
通过语法指导合成的量化不变量。 259-277
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DrewsAD19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DrewsAD19
塞缪尔·德鲁斯,奥斯·阿尔巴古蒂,洛里斯·德安东尼:
概率约束下的高效综合。 278-296
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SotoHSZ19文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SotoHSZ19
米里亚姆·加西亚·索托,托马斯·汉津格,克里斯蒂安·席林,卢卡·泽列兹尼克:
基于成员关系的线性混合自动机综合。 297-314
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PadhiMN019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PadhiMN019
萨斯瓦特·帕迪,托德·D·米尔斯坦,阿迪蒂亚·诺里,拉胡尔·夏尔马:
综合过度：理论与实践。 315-334
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HuBCDR19文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HuBCDR19
秦和平湖,杰森·布雷克,约翰·西弗特,洛里斯·德安东尼,Thomas W.代表:
证明句法引导合成的不可实现性。 335-352

模型检查

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GavrilenkoLFHM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GavrilenkoLFHM19
纳塔莉亚·加夫里连科,埃尔南·蓬斯·德莱昂,弗洛里安·弗巴赫,凯霍·赫尔扬科,罗兰·梅耶:
弱记忆模型的BMC：紧凑SMT编码的关系分析。 355-365
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DavisHK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DavisHK19
詹妮弗·戴维斯,劳拉·汉弗莱,德里克·金斯顿:
当人类直觉失败时：使用形式化方法在多代理协议的“证明”中查找错误。 366-375
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CimattiGMRT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CimattiGMRT19
亚历山德罗·西马蒂,阿尔贝托·格里乔,恩里科·马格纳戈,马可·罗维里,斯特凡诺·托内塔:
使用定时转换系统和定时时间属性扩展nuXmv。 376-386
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LauGMPS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LauGMPS19
斯特拉·刘,维克托·戈麦斯,凯文·梅马里安,Jean Pichon-Pharabod公司,彼得·苏厄尔:
Cerberus-BMC：并发和顺序C的原则参考语义和探索工具。 387-397

网络物理系统和机器学习

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/张哈19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ShangHA19
张振亚,Hasuo一郎,保罗·阿卡尼:
混合系统伪造中布尔连接词的多臂强盗。 401-420
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FaymonvilleFSSS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FaymonvilleFSSS19
彼得·费蒙维尔,伯恩德·芬克贝纳,马尔特·施莱德朱夫斯基,马克西米利安·施温格,马文·斯坦格,Leander Tentrup公司,哈泽姆·托法:
StreamLAB：基于流的网络物理系统监控。 421-431
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DreossiFGKRVS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DreossiFGKRVS19
托马索·德罗西,丹尼尔·弗雷蒙特,毛滴虫Ghosh,爱德华·金姆,哈迪·拉万巴克什,马塞尔·巴斯奎兹·香拉特（Marcell Vazquez-Chanlatte）,桑吉特·塞希亚:
VerifAI：基于人工智能系统的形式化设计和分析工具包。 432-442
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KatzHIJLLSTWZDK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KatzHIJLLSTWZDK19
盖伊·卡茨,德里克·A·黄,杜利古尔·伊贝林,凯尔·朱利安,克里斯托弗·拉扎罗斯,雷切尔·林,沙不思,Shantanu Thakoor公司,吴浩泽,Aleksandar Zeljic先生,大卫·L·迪尔,默克尔·J·科钦德费尔,克拉克·W·巴雷特:
深度神经网络验证和分析的Marabou框架。 443-452

概率系统，运行时技术

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HongLMR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HongLMR19
Chih-Duo Hong先生,安东尼·W·林,鲁帕克·马朱姆达尔,菲利普·吕默:
参数化系统的概率互模拟（应用于验证匿名协议）。 455-474
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CeskaK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CeskaK19
米兰塞斯卡,扬·克伦斯克:
化学反应网络的半定量提取和分析。 475-496
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AshokKW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AshokKW19网址
普拉纳夫·阿肖克,扬·克伦斯克,马克西米利安·魏宁格:
马尔可夫决策过程和随机博弈的PAC统计模型检验。 497-519
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/WagaAH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/WagaAH19
Masaki Waga公司,埃蒂安·安德烈,哈朔一郎:
根据时间和数据参数化规范进行符号监控。 520-539
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/NeupaneMM0019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/NeupaneMM0019
Thakur Neupane公司,克里斯·迈尔斯,柯蒂斯·马德森,郝政,Zhen Zhang先生:
STAMINA：非有限状态分析的随机近似模型检查器。 540至549

动态、混合和反应系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JainM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JainM19
米特斯·贾恩,Manolios帕纳焦蒂斯:
优化无功系统的局部和组合推理。 553-571
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Busatto-GastonM19型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Busatto-GastonM19
达米安·巴斯托·加斯顿,本杰明·蒙梅格,皮尔雷·阿莱恩·雷尼尔,奥坎·桑库尔:
定时Büchi自动机中的鲁棒控制器综合：一种符号方法。 572-590
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KimAS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KimAS19
埃里克·S·金,穆拉特·阿卡克,桑吉特·塞希亚:
基于鲁棒抽象的控制综合的柔性计算管道。 591-608
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Finkbeiner0PS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Finkbeiner0PS19
伯恩德·芬克贝纳,费利克斯·克莱恩,鲁齐卡·皮斯卡,马克·桑托卢西托:
时间流逻辑：超越布尔的综合。 609-629
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AvniBCHKP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AvniBCHKP19
盖伊·阿夫尼,罗德里克·布隆,克里什南杜·查特吉,托马斯·汉津格,贝蒂娜·科尼霍费尔,斯特凡·普朗格:
通过定量博弈对学习控制器进行运行时优化。 630-649
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FengCZF019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FengCZF019
盛华丰,陈明帅,詹乃军（Naijun Zhan）,马丁·弗伦泽,白雪:
控制动力系统中的延迟-延迟微分方程的无界验证。 650-669

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置都将作为Cookie存储在您的网络浏览器中。有关更多信息查看我们的F.A.Q。