Hoffmann, J., Hermanns, H., Klauck, M., Steinmetz, M., Karpas, E. and 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 (Apr. 2020), 13569-13575. DOI:https://doi.org/10.1609/aaai.v34i09.7083.