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]
@inproceedings{HoritaHTO16,
title = {Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS},
author = {Hiroki Horita and Hideaki Hirayama and Yasuyuki Tahara and Akihiko Ohsuga},
year = {2016},
doi = {10.1145/2851613.2851898},
url = {http://doi.acm.org/10.1145/2851613.2851898},
researchr = {https://researchr.org/publication/HoritaHTO16},
cites = {0},
citedby = {0},
pages = {1214-1218},
booktitle = {Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016},
editor = {Sascha Ossowski},
publisher = {ACM},
isbn = {978-1-4503-3739-7},
}