Hoffmann, Jorg, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, and Daniele 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 34, no. 09 (April 3, 2020): 13569-13575. Accessed April 18, 2021. https://ojs.aaai.org/index.php/AAAI/article/view/7083.