磯部祥尚

Isobe Yoshinao

所属機関・部署：
職名：主任研究員
ホームページURL (1件)： http://staff.aist.go.jp/y-isobe

研究分野 (1件)：情報学基礎論

研究キーワード (4件)：検証 , 並行システム , 定理証明器 , プロセス代数

競争的資金等の研究課題 (2件)：

論文 (27件)：

Tinghui Ouyang, Yoshinao Isobe, Saima Sultana, Yoshiki Seo, Yutaka Oiwa. Autonomous driving quality assurance with data uncertainty analysis. 2022 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN). 2022
Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa. Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 2021. E104D. 10. 1515-1532
Tinghui Ouyang, Vicent Sanz Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo. Improved Surprise Adequacy Tools for Corner Case Data Description and Detection. APPLIED SCIENCES-BASEL. 2021. 11. 15
Corner Case Data Description and Detection. WAIN '21. 2021. 19-26
Tinghui Ouyang, Yoshinao Isobe, Vicent Sanz Marco, Jun Ogata, Yoshiki Seo, Yutaka Oiwa. AI robustness analysis with consideration of corner cases. THIRD IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING (AITEST 2021). 2021. 29-36

MISC (2件)：

Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa. Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 2021. E104D. 10. 1515-1532
Yuki Hasegawa, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida, Yasunori Shiono. Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture. 情報処理学会論文誌. 2012. 53. 5

書籍 (1件)：

学位 (1件)：

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

磯部 祥尚