Anne-Kathrin Schmuck

Compositional Synthesis of Finite-State Abstractions

Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani et al. · IEEE Transactions on Automatic Control · 2018 · 64 citations

Engineering, Compositional Synthesis, Local Abstractions +18

Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems

Kyle Hsu, Rupak Majumdar, Kaushik Mallik et al. · 2018 · 54 citations

Engineering, System Synthesis, Formal Verification +16

On the relation between reactive synthesis and supervisory control of non-terminating processes

Anne-Kathrin Schmuck, Thomas Moor, Rupak Majumdar · Discrete Event Dynamic Systems · 2019 · 28 citations · Full text

Engineering, System-level Design, System Synthesis +21

Assume–Guarantee Distributed Synthesis

Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2020 · 19 citations

Engineering, Verification, System Synthesis +16

Asynchronous<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si15.gif" display="inline" overflow="scroll"><mml:mi>l</mml:mi></mml:math>-complete approximations

Anne-Kathrin Schmuck, Jörg Raisch · Systems & Control Letters · 2014 · 18 citations