Login
- Titel:
Symbolic synthesis with average performance guarantees
- Autor(en):
- Rungger, M.; Reissig, G.; Zamani, M.
- Kongress- / Buchtitel:
- Proceedings of the 55th IEEE Conference on Decision and Control
- Ausrichter der Konferenz:
- IEEE
- Jahr:
- 2016
- Seiten:
- 7404--7410
BibTeX