Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga. Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS. In Sascha Ossowski, editor, Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. pages 1214-1218, ACM, 2016. [doi]
Abstract is missing.