{"id":2510,"date":"2024-05-03T13:11:34","date_gmt":"2024-05-03T04:11:34","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?page_id=2510"},"modified":"2024-08-11T23:53:00","modified_gmt":"2024-08-11T14:53:00","slug":"2024symposium","status":"publish","type":"page","link":"https:\/\/group-mmm.org\/eratommsd\/ja\/2024symposium\/","title":{"rendered":"JST ERATO \u84ee\u5c3e\u30e1\u30bf\u6570\u7406\u30b7\u30b9\u30c6\u30e0\u30c7\u30b6\u30a4\u30f3\u30d7\u30ed\u30b8\u30a7\u30af\u30c8 (ERATO MMSD) \u6210\u679c\u5831\u544a\u4f1a \/ ERATO MMSD Project Symposium"},"content":{"rendered":"\n<h1 class=\"wp-block-heading\">\u2015 \u65b0\u60c5\u5831\u6280\u8853\u306e\u793e\u4f1a\u53d7\u5bb9\u3092\u53ef\u80fd\u306b\u3059\u308b\u6570\u5b66 \u2015<\/h1>\n\n\n\n<p><strong><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-medium-pink-color\">\uff082024\/08\/11\uff09\u5f53\u65e5\u306f109\u540d\u306e\u307f\u306a\u3055\u307e\u306b\u3054\u53c2\u52a0\u3044\u305f\u3060\u304d\uff0c\u672c\u5f53\u306b\u3042\u308a\u304c\u3068\u3046\u3054\u3056\u3044\u307e\u3057\u305f\uff0e\u5f53\u65e5\u306e\u8b1b\u6f14\u52d5\u753b\u306f<a href=\"https:\/\/youtube.com\/playlist?list=PLwOBB6z-mMRqfjU8f6IsPSyIVAScw14Oh&amp;si=Ge5mHqeOThgTS6jl\">\u3053\u3061\u3089<\/a>\u304b\u3089\u3054\u89a7\u3044\u305f\u3060\u3051\u307e\u3059\uff0e<\/mark><\/strong><\/p>\n\n\n\n<p>\u53c2\u52a0\u767b\u9332\u306f<a href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSeUJhrRLYEPUE06EwCfw8qduW5jdYxQOOSFO-aox9OLxTDSfA\/viewform?usp=sf_link\">\u3053\u3061\u3089<\/a>  \/ <a href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSeUJhrRLYEPUE06EwCfw8qduW5jdYxQOOSFO-aox9OLxTDSfA\/viewform?usp=sf_link\">Registration<\/a>\uff0e<br><strong>2024\u5e746\u67087\u65e5\uff08\u91d1\uff09<\/strong>\u307e\u3067\u306b\u3054\u767b\u9332\u304f\u3060\u3055\u3044 \/ register by <strong>Friday 7 June<\/strong>. <\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"435\" height=\"1024\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2024\/05\/rollup_banner_850_2000_quarter_Page_1-435x1024.png\" alt=\"\" class=\"wp-image-2522\" srcset=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2024\/05\/rollup_banner_850_2000_quarter_Page_1-435x1024.png 435w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2024\/05\/rollup_banner_850_2000_quarter_Page_1-127x300.png 127w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2024\/05\/rollup_banner_850_2000_quarter_Page_1-768x1807.png 768w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2024\/05\/rollup_banner_850_2000_quarter_Page_1-653x1536.png 653w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2024\/05\/rollup_banner_850_2000_quarter_Page_1-870x2048.png 870w\" sizes=\"auto, (max-width: 435px) 100vw, 435px\" \/><\/figure><\/div>\n\n\n<h2 class=\"wp-block-heading\">\u958b\u50ac\u6982\u8981<\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">\u65e5\u6642 \/ Date<\/h3>\n\n\n\n<p>2024\u5e746\u670819\u65e5\uff08\u6c34\uff0911:30\uff5e20:30 \uff08\u53d7\u4ed8\u958b\u59cb 11:00\uff09<br>11:30&#8211;20:30, Wednesday 19 June, 2024  (Registration opens at 11:00) <\/p>\n\n\n\n<h3 class=\"wp-block-heading\">\u4f1a\u5834 \/ Venue<\/h3>\n\n\n\n<p><a href=\"https:\/\/www.hit-u.ac.jp\/hall\/\">\u4e00\u6a4b\u8b1b\u5802<\/a> \uff08\u6771\u4eac\u90fd\u5343\u4ee3\u7530\u533a\u4e00\u30c4\u6a4b\uff0c\u5730\u4e0b\u9244\u795e\u4fdd\u753a\u99c5\u30fb\u7af9\u6a4b\u99c5\uff0e<a href=\"https:\/\/maps.app.goo.gl\/ZboYZKPVPpgwZA7HA\">Google Map<\/a>\uff09<br><a href=\"https:\/\/www.hit-u.ac.jp\/hall\/accessen.html\">Hitotsubashi Hall<\/a> (Chiyoda-ku, Tokyo; Metro Jimbocho Sta. or Takebashi Sta. <a href=\"https:\/\/maps.app.goo.gl\/ZboYZKPVPpgwZA7HA\">Google Map<\/a>)<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">\u4e3b\u50ac<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"http:\/\/www.jst.go.jp\/\">\u56fd\u7acb\u7814\u7a76\u958b\u767a\u6cd5\u4eba \u79d1\u5b66\u6280\u8853\u632f\u8208\u6a5f\u69cb<\/a>\uff08JST\uff09<br><a href=\"http:\/\/www.jst.go.jp\/erato\/\">ERATO<\/a>&nbsp;<a href=\"http:\/\/www.jst.go.jp\/erato\/hasuo\/ja\/\">\u84ee\u5c3e\u30e1\u30bf\u6570\u7406\u30b7\u30b9\u30c6\u30e0\u30c7\u30b6\u30a4\u30f3\u30d7\u30ed\u30b8\u30a7\u30af\u30c8<\/a>\uff08ERATO MMSD\uff09<\/li><li><a href=\"https:\/\/www.nii.ac.jp\/\">\u56fd\u7acb\u60c5\u5831\u5b66\u7814\u7a76\u6240<\/a>\uff08NII\uff09&nbsp;<a href=\"https:\/\/www.nii.ac.jp\/research\/centers\/\">\u6570\u7406\u7684\u9ad8\u4fe1\u983c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30b7\u30b9\u30c6\u30e0\u7814\u7a76\u30bb\u30f3\u30bf\u30fc<\/a><\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">\u53c2\u52a0\u5bfe\u8c61 \/ Expected Audience<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>\u60c5\u5831\u5b66\u53ca\u3073\u6570\u5b66\u306e\u7814\u7a76\u8005\u30fb\u5b66\u751f<\/li><li>\u7523\u696d\u754c\u3067\u60c5\u5831\u30b7\u30b9\u30c6\u30e0\u53ca\u3073\u7269\u7406\u60c5\u5831\u30b7\u30b9\u30c6\u30e0\u306e\u5b89\u5168\u6027\u4fdd\u8a3c\u306b\u643a\u308f\u308b\u6280\u8853\u8005<\/li><li>\u7814\u7a76\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u904b\u55b6\u30fb\u652f\u63f4\u30fb\u5236\u5ea6\u8a2d\u8a08\u306b\u643a\u308f\u308b\u65b9<\/li><li>ERATO MMSD \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u95a2\u4fc2\u8005 \/ Everyone who has been involved in ERATO MMSD<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">\u53c2\u52a0\u65b9\u6cd5 \/ Registration<\/h3>\n\n\n\n<p>\u53c2\u52a0\u767b\u9332\u30d5\u30a9\u30fc\u30e0\u306f<a href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSeUJhrRLYEPUE06EwCfw8qduW5jdYxQOOSFO-aox9OLxTDSfA\/viewform?usp=sf_link\">\u3053\u3061\u3089<\/a>  \/ <a href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSeUJhrRLYEPUE06EwCfw8qduW5jdYxQOOSFO-aox9OLxTDSfA\/viewform?usp=sf_link\">Registration Form<\/a> <\/p>\n\n\n\n<p>\u4e8b\u524d\u767b\u9332\u5236\uff0c\u53c2\u52a0\u6599\u7121\u6599\uff0e<strong>2024\u5e746\u67087\u65e5\uff08\u91d1\uff09<\/strong>\u307e\u3067\u306b\u53c2\u52a0\u767b\u9332\u304f\u3060\u3055\u3044\uff0e<br>Registration is needed (free). Please register by <strong>Friday 7 June<\/strong>. <br><\/p>\n\n\n\n<h3 class=\"wp-block-heading\">\u4f7f\u7528\u8a00\u8a9e \/ Language<\/h3>\n\n\n\n<p>\u53e3\u982d\u767a\u8868\u306f\u307b\u3068\u3093\u3069\u65e5\u672c\u8a9e\uff0e\u30dd\u30b9\u30bf\u30fc\u30bb\u30c3\u30b7\u30e7\u30f3\u306f\u82f1\u8a9e\u3082\u542b\u3080<br>Most talks are in Japanese; many poster presentations are in English<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">\u304a\u554f\u3044\u5408\u308f\u305b\u5148<\/h3>\n\n\n\n<p>\u300cERATO MMSD \u6210\u679c\u5831\u544a\u4f1a\u300d\u904b\u55b6\u4e8b\u52d9\u5c40<br>E-mail: hasuolab-secr [at] nii.ac.jp<br>Tel: 03-4212-2652    \uff08\u53d7\u4ed8\u6642\u9593: \u6708\u30fb\u6c34\u30fb\u91d1 10:30\uff5e17:30\uff09 <\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\u30d7\u30ed\u30b0\u30e9\u30e0\uff08\u4eee\uff0c\u5909\u66f4\u306e\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\uff09<\/h2>\n\n\n\n\n<table id=\"tablepress-6\" class=\"tablepress tablepress-id-6\">\n<tbody>\n<tr class=\"row-1 odd\">\n\t<td class=\"column-1\">11:00<\/td><td class=\"column-2\">\u53d7\u4ed8\u958b\u59cb<\/td>\n<\/tr>\n<tr class=\"row-2 even\">\n\t<td class=\"column-1\">11:30\uff5e12:00<\/td><td class=\"column-2\"><b>ERATO MMSD \u6982\u8981\uff1a<br> \u60c5\u5831\u6280\u8853\u306e\u793e\u4f1a\u53d7\u5bb9\u306e\u305f\u3081\u306e\u6570\u5b66\u30fb\u8ad6\u7406\u5b66\u30fb\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66<\/b><br \/>\n<a href=\"https:\/\/group-mmm.org\/~ichiro\/indexj.html\">\u84ee\u5c3e \u4e00\u90ce<\/a><br> \uff08ERATO MMSD \u7814\u7a76\u7dcf\u62ec\uff0c\u56fd\u7acb\u60c5\u5831\u5b66\u7814\u7a76\u6240 \u6559\u6388\uff09 <a href=\"https:\/\/1drv.ms\/b\/s!Aj26oQ_Up7SxhIMk0LCcnpi61Q3W-A?e=hd2jO0\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul><br \/>\n<li> \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u76ee\u6a19\u3068\u73fe\u5728\u5730 <\/li><br \/>\n<li> \u30b7\u30e7\u30a6\u30b1\u30fc\u30b9\u3068\u3057\u3066\u306e\u81ea\u52d5\u904b\u8ee2\u5b89\u5168\u6027\u8a3c\u660e\u6280\u8853<br \/>\n<\/li><br \/>\n<\/ul><\/td>\n<\/tr>\n<tr class=\"row-3 odd\">\n\t<td class=\"column-1\">12:00\uff5e12:45<\/td><td class=\"column-2\"><b>ERATO MMSD \u632f\u308a\u8fd4\u308a\uff08\u30aa\u30e2\u30c6\u9762\uff09\uff1a <br> \u5927\u898f\u6a21\u7406\u8ad6\u7814\u7a76\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e8\u5e74<\/b><br \/>\n\u84ee\u5c3e \u4e00\u90ce<br> \uff08ERATO MMSD \u7814\u7a76\u7dcf\u62ec\uff0c\u56fd\u7acb\u60c5\u5831\u5b66\u7814\u7a76\u6240 \u6559\u6388\uff09<a href=\"https:\/\/1drv.ms\/b\/s!Aj26oQ_Up7SxhIMs5xmz75dLWuuGEA?e=fZSrwV\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul><br \/>\n<li > \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u6210\u679c\u6982\u8981 <\/li><br \/>\n<li> \u5927\u898f\u6a21\u7406\u8ad6\u7814\u7a76\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u7d44\u7e54\u8ad6 <\/li><br \/>\n<li> \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u30b9\u30b3\u30fc\u30d7\u30fb\u4f53\u5236\u306e\u5909\u9077 <\/li> <br \/>\n<li> \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u304b\u3089\u898b\u305f\uff0c\u6570\u5b66\u30fb\u60c5\u5831\u5b66\u306b\u304a\u3051\u308b\u7406\u8ad6\u7814\u7a76\u306e\u6f6e\u6d41 <\/li> <br \/>\n<\/ul><\/td>\n<\/tr>\n<tr class=\"row-4 even\">\n\t<td class=\"column-1\">12:45\uff5e14:15<\/td><td class=\"column-2\"><b>\u30dd\u30b9\u30bf\u30fc\u30bb\u30c3\u30b7\u30e7\u30f3\u30fb\u663c\u98df<\/b><br \/>\nPoster presentation &amp; lunch<\/td>\n<\/tr>\n<tr class=\"row-5 odd\">\n\t<td class=\"column-1\">14:15\uff5e14:35<\/td><td class=\"column-2\"><b>ERATO MMSD &amp; <a href=\"https:\/\/www.jst.go.jp\/mirai\/jp\/program\/super-smart\/JPMJMI20B8.html\">MIRAI eAI<\/a>\uff1a<br> \u81ea\u52d5\u904b\u8ee2\u30b7\u30b9\u30c6\u30e0\u306e\u554f\u984c\u3092\u8ce2\u304f\u63a2\u3059\u30fb\u8ce2\u304f\u76f4\u3059<\/b><br \/>\n<a href=\"https:\/\/research.nii.ac.jp\/~f-ishikawa\/index.html\">\u77f3\u5ddd \u51ac\u6a39<\/a><br> \uff08ERATO MMSD \u30b0\u30eb\u30fc\u30d7\uff13\u30ea\u30fc\u30c0\u30fc\uff0c<a href=\"https:\/\/www.jst.go.jp\/mirai\/jp\/program\/super-smart\/JPMJMI20B8.html\">MIRAI eAI<\/a>\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u7814\u7a76\u4ee3\u8868\u8005\uff0c\u56fd\u7acb\u60c5\u5831\u5b66\u7814\u7a76\u6240 \u51c6\u6559\u6388\uff09<br \/>\n<a href=\"https:\/\/speakerdeck.com\/ishikawafyu\/smart-search-and-repair-techniques-for-automated-driving-systems-and-ai-systems\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul><br \/>\n<li> \u5b89\u5168\u6027\u306b\u5411\u3051\u305f\u591a\u69d8\u306a\u89b3\u70b9\u304b\u3089\u306e\u30dd\u30a4\u30f3\u30c8 <\/li><br \/>\n<li> \u8a08\u753b\u30fb\u5236\u5fa1\u306e\u30c6\u30b9\u30c8\u30fb\u4fee\u6b63 <\/li><br \/>\n<li>\u6df1\u5c64\u5b66\u7fd2\u306b\u3088\u308b\u8a8d\u77e5\u306e\u30c6\u30b9\u30c8\u30fb\u4fee\u6b63<\/li><br \/>\n<\/ul><\/td>\n<\/tr>\n<tr class=\"row-6 even\">\n\t<td class=\"column-1\">14:35\uff5e14:55<\/td><td class=\"column-2\"><b> ERATO MMSD \u6570\u7406\u7684\u7814\u7a76\u6210\u679c\uff1a<br> \u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u7684\u30a2\u30d7\u30ed\u30fc\u30c1\u306e\u570f\u8ad6\u7684\u767a\u5c55<\/b><br \/>\n<a href=\"https:\/\/researchmap.jp\/shinya_katsumata\">\u52dd\u80a1 \u5be9\u4e5f<\/a> <br> \uff08ERATO MMSD \u7814\u7a76\u7dcf\u62ec\u88dc\u4f50\u30fb\u30b0\u30eb\u30fc\u30d70\u30ea\u30fc\u30c0\u30fc\uff0c\u4eac\u90fd\u7523\u696d\u5927\u5b66 \u6559\u6388\uff09 <a href=\"https:\/\/drive.google.com\/file\/d\/1nAa0YpoPyYqp1iC52pOH2zPBlpj8_C2O\/view?usp=sharing\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul><br \/>\n<li> \u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u7684\u30a2\u30d7\u30ed\u30fc\u30c1\u306e\u570f\u8ad6\u306b\u3088\u308b\u6df1\u5316<\/li><br \/>\n<li>  \u52d5\u4f5c\u306e\u305f\u3081\u306e\u610f\u5473\u8ad6\u304b\u3089\u691c\u8a3c\u306e\u305f\u3081\u306e\u610f\u5473\u8ad6\u3078 <\/li><br \/>\n<\/ul><\/td>\n<\/tr>\n<tr class=\"row-7 odd\">\n\t<td class=\"column-1\">14:55\uff5e15:15<\/td><td class=\"column-2\"><b>ERATO MMSD &amp; <a href=\"https:\/\/www.cyphai.io\/\">CREST CyPhAI<\/a>\uff1a<br> AI-CPS \u306e\u30c6\u30b9\u30c8\u3084\u30e2\u30cb\u30bf\u30ea\u30f3\u30b0\u306b\u95a2\u3059\u308b\u7814\u7a76\u7d39\u4ecb<\/b><br \/>\n<a href=\"https:\/\/www.fos.kuis.kyoto-u.ac.jp\/~ksuenaga\/\">\u672b\u6c38 \u5e78\u5e73<\/a><br> \uff08ERATO MMSD \u4eac\u5927\u60c5\u5831\u5b66\u7814\u7a76\u79d1\u30b5\u30a4\u30c8\u30ea\u30fc\u30c0\u30fc\uff0c<a href=\"https:\/\/www.cyphai.io\/\">CREST CyPhAI<\/a> \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u7814\u7a76\u4ee3\u8868\u8005\uff0c\u4eac\u90fd\u5927\u5b66\u5927\u5b66\u9662\u60c5\u5831\u5b66\u7814\u7a76\u79d1 \u51c6\u6559\u6388\uff09<br \/>\n<a href=\"https:\/\/www.dropbox.com\/scl\/fi\/1rmwuk5kxubq345b0rnwq\/Suenaga_HasuoERATOFinalSymposium2024.pptx?rlkey=2tf1cb9bu80dfuwtkb61jg1sy&amp;dl=0\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul><br \/>\n<li> \u30d6\u30e9\u30c3\u30af\u30dc\u30c3\u30af\u30b9\u30b7\u30b9\u30c6\u30e0\u306e\u52b9\u7387\u7684\u306a\u30c6\u30b9\u30c8\u624b\u6cd5<\/li><br \/>\n<li> \u6a5f\u5fae\u60c5\u5831\u3092\u30bb\u30ad\u30e5\u30a2\u306b\u30e2\u30cb\u30bf\u30ea\u30f3\u30b0\u3059\u308b\u624b\u6cd5<\/li><br \/>\n<li> \u6a5f\u68b0\u5b66\u7fd2\u30e2\u30c7\u30eb\u306e\u52d5\u4f5c\u3092\u7406\u89e3\u3059\u308b\u305f\u3081\u306e\u624b\u6cd5<\/li><br \/>\n<\/ul><\/td>\n<\/tr>\n<tr class=\"row-8 even\">\n\t<td class=\"column-1\">15:15\uff5e16:15<\/td><td class=\"column-2\"><b>ERATO MMSD \u7814\u7a76\u8005\u30d5\u30e9\u30c3\u30b7\u30e5\u30c8\u30fc\u30af<\/b><br \/>\n<ul><br \/>\n<li><a href=\"https:\/\/www.fos.kuis.kyoto-u.ac.jp\/~mwaga\/\">\u548c\u8cc0 \u6b63\u6a39<\/a> \uff08\u4eac\u90fd\u5927\u5b66\u5927\u5b66\u9662\u60c5\u5831\u5b66\u7814\u7a76\u79d1 \u52a9\u6559\uff0cJST \u3055\u304d\u304c\u3051\u7814\u7a76\u8005\uff09\uff1a <br>  <b>Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization<\/b> <a href=\"https:\/\/drive.google.com\/file\/d\/164TqLTXFpsBQ_nkh-k9ezF7qsPlky_41\/view?usp=sharing\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul><li>Automata learning is useful (as already explained in Kohei\u2019s talk), but the current ones are mostly for discrete-time systems<\/li><br \/>\n<li>We give an algorithm for DTAs based on a language characterization<\/li><\/ul><br \/>\n<\/li><br \/>\n <li><a href=\"https:\/\/choshina.github.io\/\">Zhenya Zhang<\/a>  \uff08\u4e5d\u5dde\u5927\u5b66 \u30b7\u30b9\u30c6\u30e0\u60c5\u5831\u79d1\u5b66\u7814\u7a76\u9662 \u52a9\u6559\uff09\uff1a<br> <b>Informative Monitoring of Signal Temporal Logic<\/b><br \/>\n<a href=\"https:\/\/drive.google.com\/file\/d\/13oHPD3SH1IRAOc_dLcxG-1CsiJms-Ufr\/view?usp=sharing\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul><li>QB-Robustness for solving scale problem in hybrid system falsification<\/li><br \/>\n<li>Causation-based online monitoring<\/li><br \/>\n<\/li><\/ul><\/li><br \/>\n<li><a href=\"https:\/\/group-mmm.org\/~kazuki\/\">\u6e21\u9089 \u77e5\u6a39<\/a> \uff08\u56fd\u7acb\u60c5\u5831\u5b66\u7814\u7a76\u6240 RA\uff0c\u7dcf\u5408\u7814\u7a76\u5927\u5b66\u9662\u5927\u5b66 \u535a\u58eb\u8ab2\u7a0b\uff0cJST ACT-X \u7814\u7a76\u8005\uff09\uff1a <br> <b>Compositional Probabilistic Model Checking of Markov Decision Processes<\/b> <a href=\"https:\/\/drive.google.com\/file\/d\/1ChfPO0J1NrBmNhZWiKp97AVVU8nS2WJO\/view\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul> <li>Compositionality is good<\/li><br \/>\n <li>Categorical foundation of compositional probabilistic model checking<\/li><br \/>\n <li>Multi-objective optimization meets compositionality<\/li><\/ul><br \/>\n<\/li><br \/>\n <li><a href=\"https:\/\/group-mmm.org\/~arcaini\/\">Paolo Arcaini<\/a> \uff08\u56fd\u7acb\u60c5\u5831\u5b66\u7814\u7a76\u6240 \u7279\u4efb\u51c6\u6559\u6388\uff0cERATO MMSD \u30b0\u30eb\u30fc\u30d7\uff13\u30ea\u30fc\u30c0\u30fc\uff09\uff1a<br> <b>Metamorphic Testing of an Autonomous Delivery Robots Scheduler<\/b> <a href=\"https:\/\/drive.google.com\/file\/d\/1aLPMe74bh0WhoRdIYy9dFQ47mont2OVq\/view?usp=drive_link\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul><li>Autonomous delivery robots are scheduled using scheduling algorithms that are difficult to test due to the absence of an oracle<\/li><br \/>\n<li>We propose a metamorphic testing approach that is able to expose sub-optimal behaviors of the scheduler<br \/>\n<\/li><\/ul><br \/>\n<\/li><br \/>\n <li><a href=\"https:\/\/www.ahmet.ac\/\">Ahmet Cetinkaya<\/a> \uff08\u829d\u6d66\u5de5\u696d\u5927\u5b66 \u51c6\u6559\u6388\uff09\uff1a<br> <b>Leveraging randomization to enhance cybersecurity and learning in control systems<\/b><br \/>\n<a href=\"https:\/\/drive.google.com\/file\/d\/1Yg7X6JEN_tQxpBGk38Zhl8r1tKI0tI-a\/view?usp=sharing\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul><li>Classically, random noise and jitter are considered to be harmful to control systems<\/li><br \/>\n<li>But we show they can help security and learning performance<\/li><\/ul><br \/>\n<\/li><br \/>\n <li><a href=\"https:\/\/psasinee.github.io\/\">Sasinee Pruekprasert<\/a> \uff08\u7523\u696d\u6280\u8853\u7dcf\u5408\u7814\u7a76\u6240 \u7814\u7a76\u54e1\uff09\uff1a <b>Self-separation Scheme in UAM Corridors using Estimated Time of Arrival Gaps at Constraint Waypoints<\/b><\/li><br \/>\n<\/ul><\/td>\n<\/tr>\n<tr class=\"row-9 odd\">\n\t<td class=\"column-1\">16:15\uff5e16:45<\/td><td class=\"column-2\"><b>\u30dd\u30b9\u30bf\u30fc\u30bb\u30c3\u30b7\u30e7\u30f3\u30fb\u30b3\u30fc\u30d2\u30fc\u30d6\u30ec\u30a4\u30af<\/b><br \/>\nPoster presentation &amp; coffee<\/td>\n<\/tr>\n<tr class=\"row-10 even\">\n\t<td class=\"column-1\">16:45\uff5e17:30<\/td><td class=\"column-2\"><b>ERATO MMSD \u6210\u679c\u306e\u793e\u4f1a\u5c55\u958b\uff1a<br>  \u81ea\u52d5\u904b\u8ee2\uff0c\u81ea\u52d5\u8eca\u7523\u696d\uff0c\u53ca\u3073\u88fd\u9020\u696d\u4e00\u822c\u306e\u305f\u3081\u306e\u6570\u7406\u7684\u6280\u8853<\/b><br \/>\n\u84ee\u5c3e \u4e00\u90ce<br> \uff08ERATO MMSD \u7814\u7a76\u7dcf\u62ec\uff0c\u56fd\u7acb\u60c5\u5831\u5b66\u7814\u7a76\u6240 \u6559\u6388\uff09<br \/>\n<a href=\"https:\/\/1drv.ms\/b\/s!Aj26oQ_Up7SxhIMiUyjxRVH6Rv8CZg?e=uo6BYM\">\u30b9\u30e9\u30a4\u30c9<\/a><br \/>\n<ul><br \/>\n<li> \u81ea\u52d5\u904b\u8ee2\u306e\u793e\u4f1a\u53d7\u5bb9\u3092\u5b9f\u73fe\u3059\u308b\u6280\u8853 <\/li><br \/>\n<li> Specification-Driven Engineering\uff1a \u8981\u6c42\u4ed5\u69d8\u306e\u8ad6\u7406\u7684\u8a18\u8ff0\u306b\u3088\u308b\u88fd\u9020\u696dDX <\/li><br \/>\n<li> \u5927\u5b66\u767a\u30b9\u30bf\u30fc\u30c8\u30a2\u30c3\u30d7\u306b\u3088\u308b\u793e\u4f1a\u5c55\u958b <\/li><br \/>\n<\/ul><\/td>\n<\/tr>\n<tr class=\"row-11 odd\">\n\t<td class=\"column-1\">17:30\uff5e18:00<\/td><td class=\"column-2\"><b>ERATO MMSD \u632f\u308a\u8fd4\u308a\uff08\u30a6\u30e9\u9762\uff09\uff1a <br> 8\u5e74\u9593\u306e\u6559\u8a13\u30fb\u53cd\u7701\u30fb\u611f\u8b1d<\/b><br \/>\n\u84ee\u5c3e \u4e00\u90ce<br> \uff08ERATO MMSD \u7814\u7a76\u7dcf\u62ec\uff0c\u56fd\u7acb\u60c5\u5831\u5b66\u7814\u7a76\u6240 \u6559\u6388\uff09<br \/>\n<\/td>\n<\/tr>\n<tr class=\"row-12 even\">\n\t<td class=\"column-1\">18:00\uff5e20:30<\/td><td class=\"column-2\"><b>\u30dd\u30b9\u30bf\u30fc\u30bb\u30c3\u30b7\u30e7\u30f3\u30fb\u8b70\u8ad6<\/b><br \/>\nPoster presentation &amp; discussion<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-6 from cache -->\n","protected":false},"excerpt":{"rendered":"<p>\u2015 \u65b0\u60c5\u5831\u6280\u8853\u306e\u793e\u4f1a\u53d7\u5bb9\u3092\u53ef\u80fd\u306b\u3059\u308b\u6570\u5b66 \u2015 \uff082024\/08\/11\uff09\u5f53\u65e5\u306f109\u540d\u306e\u307f\u306a\u3055\u307e\u306b\u3054\u53c2\u52a0\u3044\u305f\u3060\u304d\uff0c\u672c\u5f53\u306b\u3042\u308a\u304c\u3068\u3046\u3054\u3056\u3044\u307e\u3057\u305f\uff0e\u5f53\u65e5\u306e\u8b1b\u6f14\u52d5\u753b\u306f\u3053\u3061\u3089\u304b\u3089\u3054\u89a7\u3044\u305f\u3060\u3051\u307e\u3059\uff0e \u53c2\u52a0\u767b\u9332\u306f\u3053\u3061\u3089 \/ Regis &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/ja\/2024symposium\/\" class=\"more-link\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"screen-reader-text\">JST ERATO \u84ee\u5c3e\u30e1\u30bf\u6570\u7406\u30b7\u30b9\u30c6\u30e0\u30c7\u30b6\u30a4\u30f3\u30d7\u30ed\u30b8\u30a7\u30af\u30c8 (ERATO MMSD) \u6210\u679c\u5831\u544a\u4f1a \/ ERATO MMSD Project Symposium<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_locale":"ja","_original_post":"https:\/\/group-mmm.org\/eratommsd\/?page_id=2465","footnotes":""},"class_list":["post-2510","page","type-page","status-publish","hentry","ja"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/2510","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/page"}],"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=2510"}],"version-history":[{"count":12,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/2510\/revisions"}],"predecessor-version":[{"id":2573,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/2510\/revisions\/2573"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=2510"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}