Login
- Titel:
Synthesizing Controllers for Automation Tasks with Performance Guarantees
- Autor(en):
- Cheng, Chih-Hong; Geisinger, Michael; Buckl, Christian
- 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
BibTeX