Jhala, A.2022-03-022022-03-022015978-1-57735-740-7https://publica.fraunhofer.de/handle/publica/159588Eleventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2015. Proceedings