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

Automated Technology for Verification and Analysis最新文献

筛选
英文 中文
Determinization and Limit-determinization of Emerson-Lei automata Emerson-Lei自动机的确定与极限确定
Automated Technology for Verification and Analysis Pub Date : 2021-06-30 DOI: 10.1007/978-3-030-88885-5_2
Tobias John, Simon Jantsch, C. Baier, Sascha Klüppelholz
{"title":"Determinization and Limit-determinization of Emerson-Lei automata","authors":"Tobias John, Simon Jantsch, C. Baier, Sascha Klüppelholz","doi":"10.1007/978-3-030-88885-5_2","DOIUrl":"https://doi.org/10.1007/978-3-030-88885-5_2","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122331294","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
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems POLAR:一个验证神经网络控制系统的多项式算法框架
Automated Technology for Verification and Analysis Pub Date : 2021-06-25 DOI: 10.1007/978-3-031-19992-9_27
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
{"title":"POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems","authors":"Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu","doi":"10.1007/978-3-031-19992-9_27","DOIUrl":"https://doi.org/10.1007/978-3-031-19992-9_27","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114433574","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}
引用次数: 30
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments TEMPEST -在概率环境中用于反应系统和屏蔽的综合工具
Automated Technology for Verification and Analysis Pub Date : 2021-05-26 DOI: 10.1007/978-3-030-88885-5_15
Stefan Pranger, Bettina Könighofer, Lukas Posch, R. Bloem
{"title":"TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments","authors":"Stefan Pranger, Bettina Könighofer, Lukas Posch, R. Bloem","doi":"10.1007/978-3-030-88885-5_15","DOIUrl":"https://doi.org/10.1007/978-3-030-88885-5_15","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121548227","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}
引用次数: 5
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach 从噪声数据中学习线性时间特性:一种MaxSAT方法
Automated Technology for Verification and Analysis Pub Date : 2021-04-30 DOI: 10.1007/978-3-030-88885-5_6
Jean-Raphael Gaglione, D. Neider, Rajarshi Roy, U. Topcu, Zhe Xu
{"title":"Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach","authors":"Jean-Raphael Gaglione, D. Neider, Rajarshi Roy, U. Topcu, Zhe Xu","doi":"10.1007/978-3-030-88885-5_6","DOIUrl":"https://doi.org/10.1007/978-3-030-88885-5_6","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114347079","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}
引用次数: 16
A Verified Decision Procedure for Orders in Isabelle/HOL Isabelle/HOL订单的验证决策程序
Automated Technology for Verification and Analysis Pub Date : 2021-04-27 DOI: 10.1007/978-3-030-88885-5_9
Lukas Stevens, T. Nipkow
{"title":"A Verified Decision Procedure for Orders in Isabelle/HOL","authors":"Lukas Stevens, T. Nipkow","doi":"10.1007/978-3-030-88885-5_9","DOIUrl":"https://doi.org/10.1007/978-3-030-88885-5_9","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130008318","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
Urgent Partial Order Reduction for Extended Timed Automata 扩展时间自动机的紧急偏阶约简
Automated Technology for Verification and Analysis Pub Date : 2020-10-19 DOI: 10.1007/978-3-030-59152-6_10
K. Larsen, Marius Mikucionis, Marco Muñiz, J. Srba
{"title":"Urgent Partial Order Reduction for Extended Timed Automata","authors":"K. Larsen, Marius Mikucionis, Marco Muñiz, J. Srba","doi":"10.1007/978-3-030-59152-6_10","DOIUrl":"https://doi.org/10.1007/978-3-030-59152-6_10","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129500976","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}
引用次数: 5
Verified Textbook Algorithms - A Biased Survey 经过验证的教科书算法-一项有偏见的调查
Automated Technology for Verification and Analysis Pub Date : 2020-10-19 DOI: 10.1007/978-3-030-59152-6_2
T. Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck
{"title":"Verified Textbook Algorithms - A Biased Survey","authors":"T. Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck","doi":"10.1007/978-3-030-59152-6_2","DOIUrl":"https://doi.org/10.1007/978-3-030-59152-6_2","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131991442","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}
引用次数: 11
Explainable Reactive Synthesis 可解释的反应合成
Automated Technology for Verification and Analysis Pub Date : 2020-10-19 DOI: 10.1007/978-3-030-59152-6_23
Tom Baumeister, B. Finkbeiner, Hazem Torfah
{"title":"Explainable Reactive Synthesis","authors":"Tom Baumeister, B. Finkbeiner, Hazem Torfah","doi":"10.1007/978-3-030-59152-6_23","DOIUrl":"https://doi.org/10.1007/978-3-030-59152-6_23","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116003806","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
Dependency-Based Compositional Synthesis 基于依赖的合成
Automated Technology for Verification and Analysis Pub Date : 2020-10-12 DOI: 10.1007/978-3-030-59152-6_25
B. Finkbeiner, Noemi E. Passing
{"title":"Dependency-Based Compositional Synthesis","authors":"B. Finkbeiner, Noemi E. Passing","doi":"10.1007/978-3-030-59152-6_25","DOIUrl":"https://doi.org/10.1007/978-3-030-59152-6_25","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128454908","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
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems ReachNN*:一种神经网络控制系统可达性分析工具
Automated Technology for Verification and Analysis Pub Date : 2020-10-01 DOI: 10.1007/978-3-030-59152-6_30
Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu
{"title":"ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems","authors":"Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu","doi":"10.1007/978-3-030-59152-6_30","DOIUrl":"https://doi.org/10.1007/978-3-030-59152-6_30","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126248258","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}
引用次数: 41
首页 上一页 下一页 尾页
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学术官方微信