Publications of Anne-Kathrin Schmuck

Schmuck, A.-K., Schneider, S., Raisch, J., & Nestmann, U. (2016)Supervisory control synthesis for deterministic context free specification languagesDiscrete Event Dynamic Systems, 26 (1), 5–32doi: 10.1007/s10626-015-0221-2.

Schmuck, A.-K., Tabuada, P., & Raisch, J. (2015)Comparing Asynchronous l-complete Approximations and Quotient Based AbstractionsIn: 54th IEEE Conference on Decision and Control (CDC), 6823–6829doi: 10.1109/CDC.2015.7403294.