Compositional Supervisory Control via Reactive Synthesis and Automated PlanningMarkDaniel Alfredo CiolekVictor BrabermanNicolas D'IppolitoSebastian Uchitel[0]Sebastian Sardina[0]IEEE Trans. Autom. Control., pp. 3502-3516, 2019.Cited by: 0|Bibtex|Views5|DOI:https://doi.org/10.1109/TAC.2019.2948270EI Other Links: academic.microsoft.com|dblp.uni-trier.deCode: Data: Full Text (Upload PDF)PPT (Upload PPT)Upload PDFUpload PPTYour rating :0 TagsCommentsSubmit
