User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

Synthesizing Controllers for Automation Tasks with Performance Guarantees

Author(s):
Cheng, Chih-Hong; Geisinger, Michael; Buckl, Christian
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
 BibTeX