Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering. - Lukas Munser; Arne-Jens Hempel; Grigory Devadze; Stefan Streif (CoRR, 2020)

Synthesis of Lyapunov Functions using Formal Verification. - Lukas Munser; Grigory Devadze; Stefan Streif (CoRR, 2021)

Extraction of a computer-certified SMT solver for nonlinear theories. - Grigory Devadze; Lukas Munser; Stefan Streif (ECC, 2023)