Anne-Kathrin Schmuck

formal methods · two-player games · temporal logic · omega-regular control · reactive synthesis · CEGAR · CEGIS · data-driven control · abstraction · formal methods and control · cyber physical systems · shielding · omega-regular shielding · safety · barrier certificates