2021年4月 - 2026年3月
データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
日本学術振興会 科学研究費助成事業 基盤研究(B)
- ID情報
-
- 課題番号 : 21H03415
この研究課題の成果一覧
絞り込み
論文
1-
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243 379-386 2022年 査読有り
講演・口頭発表等
8-
第143回プログラミング研究発表会 2023年3月23日
-
第141回プログラミング研究発表会 2022年10月27日
-
PLACES 2022: 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, Munich, Germany 2022年4月3日
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月8日
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月7日
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月6日
-
第137回プログラミング研究発表会 2022年1月12日
-
ML'21: ML Workshop 2021, co-located with ICFP 2021 2021年8月26日