Hoffmann, J., H. Hermanns, M. Klauck, M. Steinmetz, E. Karpas, and D. Magazzeni. “Let’s Learn Their Language? A Case for Planning With Automata-Network Languages from Model Checking”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 09, Apr. 2020, pp. 13569-75, doi:10.1609/aaai.v34i09.7083.