Hoffmann, J., Hermanns, H., Klauck, M., Steinmetz, M., Karpas, E., & Magazzeni, D. (2020). Let’s Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. Proceedings of the AAAI Conference on Artificial Intelligence, 34(09), 13569-13575. https://doi.org/10.1609/aaai.v34i09.7083