- Title:
Symbolic synthesis with average performance guarantees
- Author(s):
- Rungger, M.; Reissig, G.; Zamani, M.
- Book / Congress title:
- Proceedings of the 55th IEEE Conference on Decision and Control
- Organization:
- IEEE
- Year:
- 2016
- Pages:
- 7404--7410
- BibTeX