Benutzer: Gast  Login
Autor(en):
Cheng, Chih-Hong; Geisinger, Michael; Buckl, Christian 
Titel:
Synthesizing Controllers for Automation Tasks with Performance Guarantees 
Stichworte:
Automation, mgsyn, synthesis 
Kongress- / Buchtitel:
Proceedings of the International SPIN Symposium on Model Checking of Software (SPIN) 2013 
Verlag / Institution:
Springer 
Verlagsort:
Stony Brook, NY, USA 
Jahr:
2013 
Serientitel:
LNCS