New Article: "Compositional Supervisory Control via Reactive Synthesis and Automated Planning"

The article "Compositional Supervisory Control via Reactive Synthesis and Automated Planning" by Daniel Ciolek, Victor Braberman, Nicolás D'Ippolito, Sebastian Sardina, Sebastián Uchitel was accepted for publication at IEEE Transactions on Automatic Control. https://doi.org/10.1109/TAC.2019.2948270