Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel. Compositional Supervisory Control via Reactive Synthesis and Automated Planning. IEEE Trans. Automat. Contr., 65(8):3502-3516, 2020. [doi]
Abstract is missing.