研究課題
戦略的な研究開発の推進 戦略的創造研究推進事業 ACT-X
すべて 2024
すべて 雑誌論文 (4件) (国際共著 4件、 査読あり 4件、 オープンアクセス 4件)
Proceedings of the AAAI Conference on Artificial Intelligence
Logical Methods in Computer Science
LICS 2024
MFPS 2024