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

Computer Aided Verification最新文献

筛选
英文 中文
Program Synthesis Using Deduction-Guided Reinforcement Learning 使用演绎引导强化学习的程序综合
Computer Aided Verification Pub Date : 2020-06-16 DOI: 10.1007/978-3-030-53291-8_30
Yanju Chen, Chenglong Wang, O. Bastani, Işıl Dillig, Yu Feng
{"title":"Program Synthesis Using Deduction-Guided Reinforcement Learning","authors":"Yanju Chen, Chenglong Wang, O. Bastani, Işıl Dillig, Yu Feng","doi":"10.1007/978-3-030-53291-8_30","DOIUrl":"https://doi.org/10.1007/978-3-030-53291-8_30","url":null,"abstract":"","PeriodicalId":290508,"journal":{"name":"Computer Aided Verification","volume":"12225 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131085262","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}
引用次数: 26
Global PAC Bounds for Learning Discrete Time Markov Chains 离散时间马尔可夫链学习的全局PAC界
Computer Aided Verification Pub Date : 2020-06-16 DOI: 10.1007/978-3-030-53291-8_17
Hugo Bazille, B. Genest, Cyrille Jégourel, Jun Sun
{"title":"Global PAC Bounds for Learning Discrete Time Markov Chains","authors":"Hugo Bazille, B. Genest, Cyrille Jégourel, Jun Sun","doi":"10.1007/978-3-030-53291-8_17","DOIUrl":"https://doi.org/10.1007/978-3-030-53291-8_17","url":null,"abstract":"","PeriodicalId":290508,"journal":{"name":"Computer Aided Verification","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133407709","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}
引用次数: 9
Realizing documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$omega $$end{document}-regular Hyperproperties Realizing documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$omega $$end{document}-regular Hyperproperties
Computer Aided Verification Pub Date : 2020-06-16 DOI: 10.1007/978-3-030-53291-8_4
B. Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
{"title":"Realizing documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$omega $$end{document}-regular Hyperproperties","authors":"B. Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup","doi":"10.1007/978-3-030-53291-8_4","DOIUrl":"https://doi.org/10.1007/978-3-030-53291-8_4","url":null,"abstract":"","PeriodicalId":290508,"journal":{"name":"Computer Aided Verification","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131874383","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}
引用次数: 2
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time PRISM-games 3.0:具有并发、均衡和时间的随机博弈验证
Computer Aided Verification Pub Date : 2020-06-16 DOI: 10.1007/978-3-030-53291-8_25
M. Kwiatkowska, G. Norman, D. Parker, Gabriel Santos
{"title":"PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time","authors":"M. Kwiatkowska, G. Norman, D. Parker, Gabriel Santos","doi":"10.1007/978-3-030-53291-8_25","DOIUrl":"https://doi.org/10.1007/978-3-030-53291-8_25","url":null,"abstract":"","PeriodicalId":290508,"journal":{"name":"Computer Aided Verification","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122806418","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}
引用次数: 38
STMC: Statistical Model Checker with Stratified and Antithetic Sampling STMC:统计模型检查与分层和反抽样
Computer Aided Verification Pub Date : 2020-06-16 DOI: 10.1007/978-3-030-53291-8_23
Nima Roohi, Yu Wang, Matthew West, G. Dullerud, Mahesh Viswanathan
{"title":"STMC: Statistical Model Checker with Stratified and Antithetic Sampling","authors":"Nima Roohi, Yu Wang, Matthew West, G. Dullerud, Mahesh Viswanathan","doi":"10.1007/978-3-030-53291-8_23","DOIUrl":"https://doi.org/10.1007/978-3-030-53291-8_23","url":null,"abstract":"","PeriodicalId":290508,"journal":{"name":"Computer Aided Verification","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130542343","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
Must Fault Localization for Program Repair 程序修复必须进行故障定位吗
Computer Aided Verification Pub Date : 2020-06-16 DOI: 10.1007/978-3-030-53291-8_33
Bat-Chen Rothenberg, O. Grumberg
{"title":"Must Fault Localization for Program Repair","authors":"Bat-Chen Rothenberg, O. Grumberg","doi":"10.1007/978-3-030-53291-8_33","DOIUrl":"https://doi.org/10.1007/978-3-030-53291-8_33","url":null,"abstract":"","PeriodicalId":290508,"journal":{"name":"Computer Aided Verification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124391175","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}
引用次数: 6
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization 利用改进的半确定方法，semator2可以对广义b<s:1> chi自动机进行补充
Computer Aided Verification Pub Date : 2020-06-16 DOI: 10.1007/978-3-030-53291-8_2
František Blahoudek, A. Duret-Lutz, J. Strejček
{"title":"Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization","authors":"František Blahoudek, A. Duret-Lutz, J. Strejček","doi":"10.1007/978-3-030-53291-8_2","DOIUrl":"https://doi.org/10.1007/978-3-030-53291-8_2","url":null,"abstract":"","PeriodicalId":290508,"journal":{"name":"Computer Aided Verification","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127898572","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}
引用次数: 8
Synthesis of Super-Optimized Smart Contracts Using Max-SMT 利用Max-SMT合成超优化智能合约
Computer Aided Verification Pub Date : 2020-06-13 DOI: 10.1007/978-3-030-53288-8_10
E. Albert, Pablo Gordillo, A. Rubio, M. A. Schett
{"title":"Synthesis of Super-Optimized Smart Contracts Using Max-SMT","authors":"E. Albert, Pablo Gordillo, A. Rubio, M. A. Schett","doi":"10.1007/978-3-030-53288-8_10","DOIUrl":"https://doi.org/10.1007/978-3-030-53288-8_10","url":null,"abstract":"","PeriodicalId":290508,"journal":{"name":"Computer Aided Verification","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126985819","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
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks SeQuaiA:用于化学反应网络半定量分析的可扩展工具
Computer Aided Verification Pub Date : 2020-06-13 DOI: 10.1007/978-3-030-53288-8_32
Milan Ceska, Calvin Chau, Jan Křetínský
{"title":"SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks","authors":"Milan Ceska, Calvin Chau, Jan Křetínský","doi":"10.1007/978-3-030-53288-8_32","DOIUrl":"https://doi.org/10.1007/978-3-030-53288-8_32","url":null,"abstract":"","PeriodicalId":290508,"journal":{"name":"Computer Aided Verification","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130458935","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}
引用次数: 2
Hampa: Solver-Aided Recency-Aware Replication Hampa:求解器辅助的近距感知复制
Computer Aided Verification Pub Date : 2020-06-13 DOI: 10.1007/978-3-030-53288-8_16
Xiao Li, F. Houshmand, M. Lesani
{"title":"Hampa: Solver-Aided Recency-Aware Replication","authors":"Xiao Li, F. Houshmand, M. Lesani","doi":"10.1007/978-3-030-53288-8_16","DOIUrl":"https://doi.org/10.1007/978-3-030-53288-8_16","url":null,"abstract":"","PeriodicalId":290508,"journal":{"name":"Computer Aided Verification","volume":"49 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124783650","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书