Ross Baird, Maria Celeste Colantonio, Sandro Macchietto. Synthesis of hierarchical procedural controllers. In 39th IEEE Conference on Decision and Control, CDC 2000, Sydney, Australia, December 12-15, 2000. pages 412-417, IEEE, 2000. [doi]
Abstract is missing.