Anne-Kathrin Schmuck

Anne-Kathrin Schmuck

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Others
AD Scientific Index ID: 4632338
Max Planck Institute for Software Systems
person_outline Anne-Kathrin Schmuck's MOST POPULAR ARTICLES
1-) Multi-layered abstraction-based controller synthesis for continuous-time systemsK Hsu, R Majumdar, K Mallik, AK SchmuckProceedings of the 21st International Conference on Hybrid Systems …, 2018592018
2-) Compositional synthesis of finite-state abstractionsK Mallik, AK Schmuck, S Soudjani, R MajumdarIEEE Transactions on Automatic Control 64 (6), 2629-2636, 201858*2018
3-) On abstraction-based controller design with output feedbackR Majumdar, N Ozay, AK SchmuckProceedings of the 23rd International Conference on Hybrid Systems …, 2020272020
4-) On the relation between reactive synthesis and supervisory control of non-terminating processesAK Schmuck, T Moor, R MajumdarDiscrete Event Dynamic Systems 30 (1), 81-124, 2020262020
5-) Environmentally-friendly GR (1) synthesisR Majumdar, N Piterman, AK SchmuckInternational conference on tools and algorithms for the construction and …, 2019262019