研究課題
特別研究員奨励費
前々年度，申請者は「ランキング関数」という検証手法を圏論的に一般化・具体化する事で確率的遷移系に対し「γ縮尺劣マルチンゲール」と呼ばれる概念を得る事に成功した．これを用いると確率的遷移系の停止確率の下限を定量的に見積もることができる．今年度は京都大学の滝坂透氏，総合研究大学院大学の大藪雄一郎氏との共同研究の一環で，確率的プログラムの停止確率の下限をγ縮尺劣マルチンゲールを用い計算するアルゴリズムを提案し，それを実際に実装・実験を行ってその有用性を確かめた．申請者は具体的なアルゴリズムの導出および実装の一部を担当した．申請者の貢献度は20%程度である．結果をまとめた論文は国際会議ATVA 2018に採択された．確率的システムに対し，その終了までにかかるステップ数がある値以上になる確率を「テイル確率」と呼ぶ．東京大学の内藏理史と共同で，マルチンゲールを用いて確率的システムのテイル確率の上限を与える研究も行った．申請者の貢献度は10%程度である．結果をまとめた論文は国際会議TACAS 2019に採択された．また，大阪大学の榊原愛海氏および潮俊光教授と共同で離散事象システムのスーパバイザリ制御に関する研究も行った．本研究ではLTL[F]と呼ばれる線形時相論理（LTL）の定量的な拡張を考え，与えられたLTL[F]式の評価値がある閾値を超えるように離散事象システムを制御するスーパーバイザを構成する方法を与えた．申請者の貢献は50%程度である．結果をまとめた論文は今後査読付きの雑誌に投稿される予定である．また，前年度国際ワークショップCMCS 2018に投稿され採択されていた論文の発表が本年度申請者によって行われた．それ以外にも，国際会議CPS Week 2018およびETAPS 2018に参加し，議論及び動向調査を行った．また，前々年度，前年度，本年度の成果を博士論文として体系化した．
平成30年度が最終年度であるため、記入しない。
すべて 2019 2018 2017 2016 その他
すべて 雑誌論文 (8件) (うち査読あり 8件、 オープンアクセス 2件、 謝辞記載あり 2件) 学会発表 (3件) (うち国際学会 3件) 備考 (1件)
Proceeding of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
巻: 印刷中
Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers
巻: 11202 ページ: 214-234
10.1007/978-3-030-00389-0_12
Proc. ATVA 2018, Lecture Notes in Computer Science
巻: 11138 ページ: 476-493
10.1007/978-3-030-01090-4_28
Proceedings of the 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018)
Proc. LICS 2017
巻: - ページ: 1-12
10.1109/lics.2017.8005151
Logimal Methods in Computer Science
巻: 13
10.23638/LMCS-13(3:20)2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)
Leibniz International Proceedings in Informatics (LIPIcs)
巻: 59
10.4230/LIPIcs.CONCUR.2016.24
http://group-mmm.org/~nurabe/index.html
