{"id":185,"date":"2018-06-27T19:37:22","date_gmt":"2018-06-27T19:37:22","guid":{"rendered":"http:\/\/atva-conference.org\/?page_id=185"},"modified":"2022-08-14T17:53:06","modified_gmt":"2022-08-14T17:53:06","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/atva-conference.org\/2022\/call-for-papers\/accepted-papers\/","title":{"rendered":"Accepted Papers"},"content":{"rendered":"<p><script>if (top != self) {top.location = self.location} else {document.documentElement.style.display = \"block\"}<\/script><\/p>\n<style>.accepted {clear:right;margin-bottom:20pt;padding:3pt}<\/style>\n<style>.abstract {border-left: solid black 1px;border-right: solid black 1px;border-top: solid black 1px;padding:3pt}<\/style>\n<style>.paper {border-left: solid black 1px;border-right: solid black 1px;border-top: solid black 1px;padding:2pt}<\/style>\n<style>.abstract:last-child {border-bottom: solid black 1px;padding:3pt}<\/style>\n<style>.paper:last-child {border-bottom: solid black 1px;padding:2pt}<\/style>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"https:\/\/user.informatik.uni-bremen.de\/~tempel\/\">S\u00f6ren Tempel<\/a>, Vladimir Herdt and <a href=\"http:\/\/www.informatik.uni-bremen.de\/agra\/\">Rolf Drechsler<\/a><\/span>. <\/span><span class=\"title\">SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"https:\/\/www.linkedin.com\/in\/matan-ostrovsky\">Matan Ostrovsky<\/a>, <a href=\"http:\/\/www.cs.stanford.edu\/~barrett\/\">Clark Barrett<\/a> and <a href=\"https:\/\/www.katz-lab.com\">Guy Katz<\/a><\/span>. <\/span><span class=\"title\">Cnn-Abs: Abstraction-Refinement based Verification of Convolutional Neural Networks<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"http:\/\/www.fos.kuis.kyoto-u.ac.jp\/~mwaga\/\">Masaki Waga<\/a>, Ezequiel Castellano, <a href=\"https:\/\/psasinee.github.io\/\">Sasinee Pruekprasert<\/a>, <a href=\"https:\/\/klikovits.net\">Stefan Klikovits<\/a>, <a href=\"https:\/\/group-mmm.org\/~toru\/\">Toru Takisaka<\/a> and <a href=\"http:\/\/group-mmm.org\/~ichiro\">Ichiro Hasuo<\/a><\/span>. <\/span><span class=\"title\">Dynamic Shielding for Reinforcement Learning in Black-Box Environments<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Ernst Moritz Hahn, Mateo Perez, <a href=\"http:\/\/www.csc.liv.ac.uk\/~sven\/\">Sven Schewe<\/a>, <a href=\"https:\/\/www.colorado.edu\/faculty\/somenzi\/\">Fabio Somenzi<\/a>, <a href=\"http:\/\/www.ashutoshtrivedi.com\">Ashutosh Trivedi<\/a> and <a href=\"http:\/\/www.csc.liv.ac.uk\/~dominik\">Dominik Wojtczak<\/a><\/span>. <\/span><span class=\"title\">An Impossibility Result in Automata-Theoretic Reinforcement Learning<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Martijn Goorden, Peter Gj\u00f8l Jensen, Kim Guldstrand Larsen, Mihhail Samusev, <a href=\"http:\/\/www.cs.aau.dk\/~srba\">Jiri Srba<\/a> and Guohan Zhao<\/span>. <\/span><span class=\"title\">STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"https:\/\/es-static.fbk.eu\/people\/cimatti\/\">Alessandro Cimatti<\/a>, <a href=\"http:\/\/es.fbk.eu\/people\/griggio\/\">Alberto Griggio<\/a> and Gianluca Redondi<\/span>. <\/span><span class=\"title\">Verification of Quantified SMT Systems<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"https:\/\/www.uni-muenster.de\/EmbSys\/team\/adelt\/index.shtml\">Julius Adelt<\/a>, Daniel Brettschneider and <a href=\"http:\/\/www.uni-muenster.de\/EmbSys\">Paula Herber<\/a><\/span>. <\/span><span class=\"title\">Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Bader Abu Radi and <a href=\"http:\/\/www.cs.huji.ac.il\/~ornak\/\">Orna Kupferman<\/a><\/span>. <\/span><span class=\"title\">Minimization of Automata for Liveness Languages<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Reiya Noguchi, <a href=\"https:\/\/people.irisa.fr\/Ocan.Sankur\">Ocan Sankur<\/a>, <a href=\"http:\/\/www.irisa.fr\/prive\/jeron\/\">Thierry J\u00e9ron<\/a>, <a href=\"http:\/\/people.irisa.fr\/Nicolas.Markey\/\">Nicolas Markey<\/a> and David Mentr\u00e9<\/span>. <\/span><span class=\"title\">Repairing Real-Time Requirements<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"http:\/\/www.chihhongcheng.info\">Chih-Hong Cheng<\/a>, Changshun Wu, Emmanouil Seferis and <a href=\"http:\/\/www-verimag.imag.fr\/~bensalem\">Saddek Bensalem<\/a><\/span>. <\/span><span class=\"title\">Prioritizing Corners in OoD Detectors via Symbolic String Manipulation<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"http:\/\/es.fbk.eu\/people\/cimatti\/\">Alessandro Cimatti<\/a>, <a href=\"http:\/\/es.fbk.eu\/people\/griggio\/\">Alberto Griggio<\/a>, Enrico Lipparini and <a href=\"http:\/\/disi.unitn.it\/rseba\/\">Roberto Sebastiani<\/a><\/span>. <\/span><span class=\"title\">Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Anand Yeolekar, Ravindra Metta, Clara Hobbs and Samarjit Chakraborty<\/span>. <\/span><span class=\"title\">Checking Scheduling-induced Violations of Control Safety Properties<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan and Naijun Zhan<\/span>. <\/span><span class=\"title\">Learning Deterministic One-Clock Timed Automata via Mutation Testing<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Runqing Xu, <a href=\"https:\/\/leslieaj.github.io\/\">Jie An<\/a> and <a href=\"http:\/\/lcs.ios.ac.cn\/~bzhan\/\">Bohua Zhan<\/a><\/span>. <\/span><span class=\"title\">Active Learning of One-Clock Timed Automata using Constraint Solving<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"http:\/\/www.isp.uni-luebeck.de\/staff\/h-kallwies\">Hannes Kallwies<\/a>, <a href=\"http:\/\/www.isp.uni-luebeck.de\/leucker\">Martin Leucker<\/a> and <a href=\"http:\/\/software.imdea.org\/~cesar\">Cesar Sanchez<\/a><\/span>. <\/span><span class=\"title\">Symbolic Monitoring: Runtime Verification with Uncertainties and Assumptions<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Ernst Moritz Hahn, Mateo Perez, <a href=\"http:\/\/www.csc.liv.ac.uk\/~sven\/\">Sven Schewe<\/a>, <a href=\"http:\/\/vlsi.colorado.edu\/~fabio\">Fabio Somenzi<\/a>, <a href=\"http:\/\/www.ashutoshtrivedi.com\">Ashutosh Trivedi<\/a> and <a href=\"http:\/\/www.csc.liv.ac.uk\/~dominik\">Dominik Wojtczak<\/a><\/span>. <\/span><span class=\"title\">Alternating GFM Automata<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"https:\/\/chaohuang2018.github.io\/main\/\">Chao Huang<\/a>, <a href=\"http:\/\/sites.bu.edu\/depend\/people\/\">Jiameng Fan<\/a>, <a href=\"https:\/\/shinchern.github.io\/\">Xin Chen<\/a>, <a href=\"http:\/\/sites.bu.edu\/depend\/\">Wenchao Li<\/a> and <a href=\"http:\/\/eecs.northwestern.edu\/~qzhu\/\">Qi Zhu<\/a><\/span>. <\/span><span class=\"title\">POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"http:\/\/www.cs.bgu.ac.il\/~dana\">Dana Fisman<\/a> and Sagi Saadon<\/span>. <\/span><span class=\"title\">Learning and Characterizing Fully-Ordered Lattice Automata<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\">Tobias Meggendorfer. <\/span><span class=\"title\">PET &#8211; Partial Exploration Tool for Probabilistic Verification<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"http:\/\/www.cse.iitb.ac.in\/~vrunda\">Vrunda Dave<\/a>, <a href=\"http:\/\/www.cse.iitb.ac.in\/~krishnas\">Krishna S<\/a>, Vishnu Murali and <a href=\"http:\/\/www.ashutoshtrivedi.com\">Ashutosh Trivedi<\/a><\/span>. <\/span><span class=\"title\">Optimal Repair For Omega-regular Properties<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Muqsit Azeem, Alexandros Evangelidis, Jan Kretinsky, Alexander Slivinskiy and Maximilian Weininger<\/span>. <\/span><span class=\"title\">Optimistic and Topological Value Iteration for Simple Stochastic Games<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span><a href=\"https:\/\/www.react.uni-saarland.de\/people\/coenen.html\">Norine Coenen<\/a>, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger and Julian Siber<\/span>. <\/span><span class=\"title\">Temporal Causality in Reactive Systems<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Peter Gj\u00f8l Jensen, <a href=\"http:\/\/www.net.t-labs.tu-berlin.de\/~stefan\/\">Stefan Schmid<\/a>, Morten Konggaard Schou and <a href=\"http:\/\/www.cs.aau.dk\/~srba\">Jiri Srba<\/a><\/span>. <\/span><span class=\"title\">PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Jiong Yang, <a href=\"http:\/\/www.cse.iitb.ac.in\/~supratik\">Supratik Chakraborty<\/a> and <a href=\"http:\/\/www.kuldeepmeel.com\">Kuldeep S. Meel<\/a><\/span>. <\/span><span class=\"title\">Projected Model Counting: Beyond Independent Support<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Sanjana Singh, Divyanjali Sharma, Ishita Jaju and Subodh Sharma<\/span>. <\/span><span class=\"title\">Fence Synthesis for the C11 Memory Model<\/span><\/div>\n<div class=\"paper\"><span class=\"authors\"><span>Miriam Garc\u00eda Soto, <a href=\"http:\/\/www.ist.ac.at\/~tah\">Thomas Henzinger<\/a> and <a href=\"https:\/\/www.christianschilling.net\/\">Christian Schilling<\/a><\/span>. <\/span><span class=\"title\">Synthesis of Parametric Hybrid Automata from Time Series<\/span><\/div>\n","protected":false},"excerpt":{"rendered":"<p>S\u00f6ren Tempel, Vladimir Herdt and Rolf Drechsler. SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification Matan Ostrovsky, Clark Barrett and Guy Katz. Cnn-Abs: Abstraction-Refinement based Verification of Convolutional Neural Networks Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka and Ichiro Hasuo. Dynamic Shielding for Reinforcement Learning in Black-Box Environments Ernst&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":32,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"nf_dc_page":"","footnotes":""},"class_list":["post-185","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/atva-conference.org\/2022\/wp-json\/wp\/v2\/pages\/185","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/atva-conference.org\/2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/atva-conference.org\/2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2022\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2022\/wp-json\/wp\/v2\/comments?post=185"}],"version-history":[{"count":5,"href":"https:\/\/atva-conference.org\/2022\/wp-json\/wp\/v2\/pages\/185\/revisions"}],"predecessor-version":[{"id":426,"href":"https:\/\/atva-conference.org\/2022\/wp-json\/wp\/v2\/pages\/185\/revisions\/426"}],"up":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2022\/wp-json\/wp\/v2\/pages\/32"}],"wp:attachment":[{"href":"https:\/\/atva-conference.org\/2022\/wp-json\/wp\/v2\/media?parent=185"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}