Fingerprint
Dive into the research topics of 'Let's learn their language? a case for planning with automata-network languages from model checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Let's learn their language? a case for planning with automata-network languages from model checking
Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
7
Citations
(Scopus)