Dynamic hierarchical reactive controller synthesis. - Anne-Kathrin Schmuck; Rupak Majumdar; Adrian Leva (Discret. Event Dyn. Syst., 2017)