193 citations · 268 across the 9 of their papers we have counts for
1 paper · 2 filters
Alexander Weber, Matthias Rungger, Gunther Reissig
The practical impact of abstraction-based controller synthesis methods is currently limited by the immense computational effort for obtaining abstractions. In this note we focus on…