Finite LTL Synthesis as PlanningMarkAlberto CamachoJorge A. Baier[0]Christian J. Muise[0]Sheila A. McIlraith[0]ICAPS, pp. 29-38, 2018.Cited by: 24|Bibtex|Views18|LinksEI Code: Data: Full Text (Upload PDF)PPT (Upload PPT)CitedUpload PPTYour rating :0 TagsCommentsSubmit
