{"id":2344,"date":"2023-05-26T10:31:27","date_gmt":"2023-05-26T01:31:27","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=2344"},"modified":"2023-05-26T10:36:07","modified_gmt":"2023-05-26T01:36:07","slug":"three-papers-accepted-for-cav-2023","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/ja\/three-papers-accepted-for-cav-2023\/","title":{"rendered":"3\u5831\u306e\u8ad6\u6587\u304c CAV 2023 \u306b\u63a1\u629e"},"content":{"rendered":"\n<p>ERATO MMSD \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u7814\u7a76\u8005\u304c\u8457\u8005\u3068\u306a\u308b3\u5831\u306e\u8ad6\u6587\u304c\uff0c\u00a0<a href=\"http:\/\/www.i-cav.org\/2023\/\" data-type=\"URL\" data-id=\"http:\/\/www.i-cav.org\/2023\/\">CAV 2023<\/a> \u2013\u00a035th International Conference on Computer Aided Verification \u306b\u63a1\u629e\u3055\u308c\u307e\u3057\u305f\uff0e<\/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>International Conference on Computer-Aided Verification (CAV) \u306f\u5f62\u5f0f\u691c\u8a3c\u5206\u91ce\u306e\u30c8\u30c3\u30d7\u56fd\u969b\u4f1a\u8b70\u3067\u3059\uff0eCAV 2023 \u306f2023\u5e747\u6708\u306b\u30d1\u30ea\u3067\u958b\u50ac\u3055\u308c\u307e\u3059\uff0e<\/p>\n","protected":false},"excerpt":{"rendered":"<p>ERATO MMSD \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u7814\u7a76\u8005\u304c\u8457\u8005\u3068\u306a\u308b3\u5831\u306e\u8ad6\u6587\u304c\uff0c\u00a0CAV 2023 \u2013\u00a035th International Conference on Computer Aided Verification \u306b\u63a1\u629e &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/ja\/three-papers-accepted-for-cav-2023\/\" class=\"more-link\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"screen-reader-text\">3\u5831\u306e\u8ad6\u6587\u304c CAV 2023 \u306b\u63a1\u629e<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"ja","_original_post":"https:\/\/group-mmm.org\/eratommsd\/?p=2342","footnotes":""},"categories":[1],"tags":[],"class_list":["post-2344","post","type-post","status-publish","format-standard","hentry","category-1","ja"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2344","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=2344"}],"version-history":[{"count":3,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2344\/revisions"}],"predecessor-version":[{"id":2347,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2344\/revisions\/2347"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=2344"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=2344"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=2344"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}