AI & Formal Methods ControlleRS Controllers in Many-sided Reactive Synthesis - A Strategic Perspective ManySynth Many-sided Synthesis of Reactive Systems - Foundations, Algorithms, and Tools.
