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

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

Data and Decision Sciences

Technion - Israel Institute of Technology

Research output: Contribution to conference › Paper › peer-review

Original language	Undefined/Unknown
Pages	13569-13575
State	Published - 2020

Access to Document

https://dblp.org/rec/conf/aaai/HoffmannHKSKM20

Cite this

@conference{276515710d094c0fbe82a7be2fe632a6,

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

author = "J{\"o}rg Hoffmann and Holger Hermanns and Michaela Klauck and Marcel Steinmetz and Erez Karpas and Daniele Magazzeni",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2020",

language = "!!Undefined/Unknown",

pages = "13569--13575",

}

TY - CONF

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

AU - Hoffmann, Jörg

AU - Hermanns, Holger

AU - Klauck, Michaela

AU - Steinmetz, Marcel

AU - Karpas, Erez

AU - Magazzeni, Daniele

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2020

Y1 - 2020

M3 - محاضرة

SP - 13569

EP - 13575

ER -