Publikationen von Anne-Kathrin Schmuck

Schmuck, A.-K.; Schneider, S.; Raisch, J.; Nestmann, U.: Supervisory control synthesis for deterministic context free specification languages. Discrete Event Dynamic Systems 26 (1), S. 5 - 32 (2016)

Schmuck, A.-K.; Tabuada, P.; Raisch, J.: Comparing Asynchronous l-complete Approximations and Quotient Based Abstractions. In: 54th IEEE Conference on Decision and Control (CDC), S. 6823 - 6829. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, 15. Dezember 2015 - 18. Dezember 2015. (2015)