{"id":2342,"date":"2023-05-26T10:29:48","date_gmt":"2023-05-26T01:29:48","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=2342"},"modified":"2023-05-26T10:36:16","modified_gmt":"2023-05-26T01:36:16","slug":"three-papers-accepted-for-cav-2023","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/three-papers-accepted-for-cav-2023\/","title":{"rendered":"Three papers accepted for CAV 2023"},"content":{"rendered":"\n<p>Three papers (co)-authored by ERATO MMSD researchers accepted for presentation at&nbsp;<a href=\"http:\/\/www.i-cav.org\/2023\/\" data-type=\"URL\" data-id=\"http:\/\/www.i-cav.org\/2023\/\">CAV 2023<\/a> \u2013&nbsp;35th International Conference on Computer Aided Verification.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Compositional Probabilistic Model Checking with String Diagrams of MDPs. <a href=\"https:\/\/group-mmm.org\/~kazuki\/\">Kazuki Watanabe<\/a>, <a href=\"https:\/\/group-mmm.org\/~eberhart\/\">Clovis Eberhart<\/a>, <a href=\"https:\/\/www.riec.tohoku.ac.jp\/~asada\/\">Kazuyuki Asada<\/a>, <a href=\"https:\/\/group-mmm.org\/~ichiro\/\">Ichiro Hasuo<\/a><\/li><li>Online Causation Monitoring of Signal Temporal Logic. <a href=\"https:\/\/choshina.github.io\/\">Zhenya Zhang<\/a>, <a href=\"https:\/\/leslieaj.github.io\/\">Jie An<\/a>, <a href=\"https:\/\/group-mmm.org\/~arcaini\/\">Paolo Arcaini<\/a>, <a href=\"https:\/\/group-mmm.org\/~ichiro\/\">Ichiro Hasuo<\/a><\/li><li>Exploiting Adjoints in Property Directed Reachability Analysis. <a href=\"https:\/\/mkori.com\/\">Mayuko Kori<\/a>, <a href=\"https:\/\/orcid.org\/0000-0003-4624-9752\">Flavio Ascari<\/a>, <a href=\"https:\/\/orcid.org\/0000-0002-3433-723X\">Filippo Bonchi<\/a>, <a href=\"http:\/\/pages.di.unipi.it\/bruni\/\">Roberto Bruni<\/a>, <a href=\"http:\/\/www.di.unipi.it\/~gori\">Roberta Gori<\/a>, <a href=\"https:\/\/group-mmm.org\/~ichiro\/\">Ichiro Hasuo<\/a><\/li><\/ul>\n\n\n\n<p>The CAV Conference is a top international venue on computer-aided formal analysis methods for hardware and software systems. CAV 2023 will take place in Paris, Frande, in July 2023.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Three papers (co)-authored by ERATO MMSD researchers accepted for presentation at&nbsp;CAV 2023 \u2013&nbsp;35th International Conference on Computer Aided Verification. Compositional Probabilistic Model Checking with String Diagrams of MDPs. Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo Online Causation Monitoring of Signal Temporal Logic. Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo Exploiting Adjoints in Property Directed Reachability Analysis. Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo The CAV Conference is a top international venue on computer-aided formal analysis methods for hardware and software systems. CAV 2023 will take place in Paris, Frande, in July 2023.<\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"en_US","_original_post":"https:\/\/group-mmm.org\/eratommsd\/?p=2342","footnotes":""},"categories":[1],"tags":[],"class_list":["post-2342","post","type-post","status-publish","format-standard","hentry","category-1","en-US"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2342","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=2342"}],"version-history":[{"count":2,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2342\/revisions"}],"predecessor-version":[{"id":2348,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2342\/revisions\/2348"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=2342"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=2342"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=2342"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}