[1]
J. Hoffmann, 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”, AAAI, vol. 34, no. 09, pp. 13569-13575, Apr. 2020.