メンバー紹介 - Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga：Goal Achievement Analysis based on LTL Checking and Decision Tree for Improvements of PAIS，31th Annual ACM Symposium on Applied Computing, pp.1214-1216 (SAC 2016)，(2016/4)

Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga：Goal Achievement Analysis based on LTL Checking and Decision Tree for Improvements of PAIS，31th Annual ACM Symposium on Applied Computing, pp.1214-1216 (SAC 2016)，(2016/4)