Hoffmann, J.; Hermanns, H.; Klauck, M.; Steinmetz, M.; Karpas, E.; Magazzeni, D. Let’s Learn Their Language? A Case for Planning With Automata-Network Languages from Model Checking. AAAI 2020, 34, 13569-13575.