Publications of 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), pp. 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), pp. 6823 - 6829. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 15, 2015 - December 18, 2015. (2015)