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), pp. 13569-13575. doi: 10.1609/aaai.v34i09.7083.