Pub Date : 2021-06-30DOI: 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}
Pub Date : 2021-05-26DOI: 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}
Pub Date : 2021-04-30DOI: 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}
Pub Date : 2021-04-27DOI: 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}
Pub Date : 2020-10-19DOI: 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}
Pub Date : 2020-10-19DOI: 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}
Pub Date : 2020-10-19DOI: 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}
Pub Date : 2020-10-12DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：