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

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Jorg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni

Journal title: Proceedings of the AAAI Conference on Artificial Intelligence

Journal number: 34/09

Journal publisher: Association for the Advancement of Artificial Intelligence

Published year: 2020

Published pages: 13569-13575

DOI identifier: 10.1609/aaai.v34i09.7083

ISSN: 2374-3468