Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Hiroki Horita' in GoogleThis author has not been identified. Look up 'Hideaki Hirayama' in GoogleThis author has not been identified. Look up 'Yasuyuki Tahara' in GoogleThis author has not been identified. Look up 'Akihiko Ohsuga' in Google

runs on WebDSL