User: Guest  Login
Author(s):
Cheng, Chih-Hong; Geisinger, Michael; Buckl, Christian 
Title:
Synthesizing Controllers for Automation Tasks with Performance Guarantees 
Keywords:
Automation, mgsyn, synthesis 
Book / Congress title:
Proceedings of the International SPIN Symposium on Model Checking of Software (SPIN) 2013 
Publisher:
Springer 
Publisher address:
Stony Brook, NY, USA 
Year:
2013 
Bookseries title:
LNCS