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
BibTeX