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 [Internet]. 2020Apr.3 [cited 2024Apr.19];34(09):13569-75. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/7083