Hoffmann, Jorg, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, and Daniele Magazzeni. 2020. “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 (09):13569-75. https://doi.org/10.1609/aaai.v34i09.7083.