Symbolic synthesis with average performance guarantees

Matthias Rungger, Gunther Reissig, Majid Zamani. Symbolic synthesis with average performance guarantees. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 7404-7410, IEEE, 2016. [doi]

Abstract

Abstract is missing.