Compositional Supervisory Control via Reactive Synthesis and Automated Planning

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.