Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking.

Jrg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni

Browse the full AAAI paper archive.