Pub Date : 2019-10-28DOI: 10.1007/978-3-030-31784-3_17
Anastasiia Izycheva, Eva Darulova, H. Seidl
{"title":"Synthesizing Efficient Low-Precision Kernels","authors":"Anastasiia Izycheva, Eva Darulova, H. Seidl","doi":"10.1007/978-3-030-31784-3_17","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_17","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121138439","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_21
Juraj Major, František Blahoudek, J. Strejček, Miriama Sasaráková, Tatiana Zbončáková
{"title":"ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata","authors":"Juraj Major, František Blahoudek, J. Strejček, Miriama Sasaráková, Tatiana Zbončáková","doi":"10.1007/978-3-030-31784-3_21","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_21","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130971162","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_4
J. Sifakis
{"title":"Can We Trust Autonomous Systems? Boundaries and Risks","authors":"J. Sifakis","doi":"10.1007/978-3-030-31784-3_4","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_4","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133068548","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_19
Rayna Dimitrova, B. Finkbeiner, Hazem Torfah
{"title":"Approximate Automata for Omega-Regular Languages","authors":"Rayna Dimitrova, B. Finkbeiner, Hazem Torfah","doi":"10.1007/978-3-030-31784-3_19","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_19","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129434529","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_3
B. Kiesl, Marijn J. H. Heule, Armin Biere
{"title":"Truth Assignments as Conditional Autarkies","authors":"B. Kiesl, Marijn J. H. Heule, Armin Biere","doi":"10.1007/978-3-030-31784-3_3","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_3","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128662535","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_6
Hussein Sibai, Navid Mokhlesi, S. Mitra
{"title":"Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification","authors":"Hussein Sibai, Navid Mokhlesi, S. Mitra","doi":"10.1007/978-3-030-31784-3_6","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_6","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124023180","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_1
P. Bouyer
{"title":"A Note on Game Theory and Verification","authors":"P. Bouyer","doi":"10.1007/978-3-030-31784-3_1","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_1","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127797017","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_10
Martin Kölbl, S. Leue
{"title":"An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking","authors":"Martin Kölbl, S. Leue","doi":"10.1007/978-3-030-31784-3_10","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_10","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129963677","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_9
Martin Raszyk, D. Basin, S. Krstic, Dmitriy Traytel
{"title":"Multi-head Monitoring of Metric Temporal Logic","authors":"Martin Raszyk, D. Basin, S. Krstic, Dmitriy Traytel","doi":"10.1007/978-3-030-31784-3_9","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_9","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"223 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115359730","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_20
A. Murawski, S. Ramsay, N. Tzevelekos
{"title":"DEQ: Equivalence Checker for Deterministic Register Automata","authors":"A. Murawski, S. Ramsay, N. Tzevelekos","doi":"10.1007/978-3-030-31784-3_20","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_20","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129409377","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
扫码关注我们
求助内容：
应助结果提醒方式：