High-level Programming via Generalized Planning and LTL SynthesisMarkBlai Bonet[0]Giuseppe De Giacomo[0]Hector Geffner[0]Fabio Patrizi (Assistant Professor)[0]Sasha RubinKR, pp. 152-161, 2020.Cited by: 0|Bibtex|Views6|DOI:https://doi.org/10.24963/kr.2020/16EI Other Links: academic.microsoft.com|dblp.uni-trier.deCode: Data: Full Text (Upload PDF)PPT (Upload PPT)Upload PDFUpload PPTYour rating :0 TagsCommentsSubmit
