Matthias Rungger | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Majid Zamani
11 publications
Alexander Weber
5 publications
Mahmoud Khaled
2 publications
Gunther Reissig
1 publication

research

∙ 06/26/2018

SENSE: Abstraction-Based Synthesis of Networked Control Systems

While many studies and tools target the basic stabilizability problem of...

0 Mahmoud Khaled, et al. ∙

research

∙ 11/05/2017

Optimized State Space Grids for Abstractions

The practical impact of abstraction-based controller synthesis methods i...

0 Alexander Weber, et al. ∙