メンバー紹介 - Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga: Business Process Verification and Restructuring LTL Formula Based on Machine Learning Approach, in book “Studies in Computational Intelligence” (Selected papers from 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2016)), pp.89-102, Springer, (2016/6)