发布求助
文献互助 智能选刊 最新文献

Automated Technology for Verification and Analysis最新文献

筛选
英文 中文
PSense: Automatic Sensitivity Analysis for Probabilistic Programs 概率程序的自动灵敏度分析
Automated Technology for Verification and Analysis Pub Date : 2018-10-07 DOI: 10.1007/978-3-030-01090-4_23
Zixin Huang, Zhenbang Wang, Sasa Misailovic
{"title":"PSense: Automatic Sensitivity Analysis for Probabilistic Programs","authors":"Zixin Huang, Zhenbang Wang, Sasa Misailovic","doi":"10.1007/978-3-030-01090-4_23","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_23","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129925119","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
EVE: A Tool for Temporal Equilibrium Analysis EVE:一个时间平衡分析工具
Automated Technology for Verification and Analysis Pub Date : 2018-10-07 DOI: 10.1007/978-3-030-01090-4_35
J. Gutierrez, Muhammad Najib, Giuseppe Perelli, M. Wooldridge
{"title":"EVE: A Tool for Temporal Equilibrium Analysis","authors":"J. Gutierrez, Muhammad Najib, Giuseppe Perelli, M. Wooldridge","doi":"10.1007/978-3-030-01090-4_35","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_35","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132553228","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Round-Bounded Control of Parameterized Systems 参数化系统的圆有界控制
Automated Technology for Verification and Analysis Pub Date : 2018-10-07 DOI: 10.1007/978-3-030-01090-4_22
B. Bollig, Mathieu Lehaut, N. Sznajder
{"title":"Round-Bounded Control of Parameterized Systems","authors":"B. Bollig, Mathieu Lehaut, N. Sznajder","doi":"10.1007/978-3-030-01090-4_22","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_22","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134300711","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces 高维空间凸多面体的高效符号表示
Automated Technology for Verification and Analysis Pub Date : 2018-10-07 DOI: 10.1007/978-3-030-01090-4_17
Bernard Boigelot, Isabelle Mainz
{"title":"Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces","authors":"Bernard Boigelot, Isabelle Mainz","doi":"10.1007/978-3-030-01090-4_17","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_17","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129033797","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Bounded Synthesis of Register Transducers 寄存器传感器的有界合成
Automated Technology for Verification and Analysis Pub Date : 2018-08-28 DOI: 10.1007/978-3-030-01090-4_29
A. Khalimov, Benedikt Maderbacher, R. Bloem
{"title":"Bounded Synthesis of Register Transducers","authors":"A. Khalimov, Benedikt Maderbacher, R. Bloem","doi":"10.1007/978-3-030-01090-4_29","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_29","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133653871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Bisimilarity Distances for Approximate Differential Privacy 近似差分隐私的双相似距离
Automated Technology for Verification and Analysis Pub Date : 2018-07-26 DOI: 10.1007/978-3-030-01090-4_12
D. Chistikov, A. Murawski, David Purser
{"title":"Bisimilarity Distances for Approximate Differential Privacy","authors":"D. Chistikov, A. Murawski, David Purser","doi":"10.1007/978-3-030-01090-4_12","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_12","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130794425","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Bounded Synthesis of Reactive Programs 反应程序的有界合成
Automated Technology for Verification and Analysis Pub Date : 2018-07-24 DOI: 10.1007/978-3-030-01090-4_26
Carsten Gerstacker, F. Klein, B. Finkbeiner
{"title":"Bounded Synthesis of Reactive Programs","authors":"Carsten Gerstacker, F. Klein, B. Finkbeiner","doi":"10.1007/978-3-030-01090-4_26","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_26","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123749484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Simulation Algorithms for Symbolic Automata (Technical Report) 符号自动机的仿真算法(技术报告)
Automated Technology for Verification and Analysis Pub Date : 2018-07-23 DOI: 10.1007/978-3-030-01090-4_7
L. Holík, Ondřej Lengál, J. Síč, Margus Veanes, Tomáš Vojnar
{"title":"Simulation Algorithms for Symbolic Automata (Technical Report)","authors":"L. Holík, Ondřej Lengál, J. Síč, Margus Veanes, Tomáš Vojnar","doi":"10.1007/978-3-030-01090-4_7","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_7","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116278244","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Signal Convolution Logic 信号卷积逻辑
Automated Technology for Verification and Analysis Pub Date : 2018-06-01 DOI: 10.1007/978-3-030-01090-4_16
Simone Silvetti, L. Nenzi, E. Bartocci, L. Bortolussi
{"title":"Signal Convolution Logic","authors":"Simone Silvetti, L. Nenzi, E. Bartocci, L. Bortolussi","doi":"10.1007/978-3-030-01090-4_16","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_16","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115374604","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs 概率规划中可达性的排序和排斥上鞅
Automated Technology for Verification and Analysis Pub Date : 2018-05-28 DOI: 10.1007/978-3-030-01090-4_28
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, I. Hasuo
{"title":"Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs","authors":"Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, I. Hasuo","doi":"10.1007/978-3-030-01090-4_28","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_28","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129177190","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信