Andonov, P., Savchenko, A., & Findeisen, R. (2019). Qualitative verification of system properties for nonlinear systems. Poster presented at YCOPE 2019 - 1st International Young Professionals Conference on Process Engineering, Magdeburg, Germany.