Analysis of the Caratheodory' s theorem on dynamical system trajectories under numerical uncertainty. - Pavel Osinenko; Grigory Devadze; Stefan Streif (IEEE CAA J. Autom. Sinica, 2018)

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)

Extraction of a computer-certified ODE solver. - Grigory Devadze; Lars Flessing; Stefan Streif (ECC, 2021)

Application of non-destructive sensors and big data analysis to predict physiological storage disorders and fruit firmness in 'Braeburn' apples. - Pavel Osinenko; Konni Biegert; Roy J. McCormick; Thomas Göhrt; Grigory Devadze; Josef Streif; Stefan Streif (Comput. Electron. Agric., 2021)

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

Formal Verification of a Controller Implementation in Fixed-Point Arithmetic. - Grigory Devadze; Lars Flessing; Stefan Streif (ECC, 2023)

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

Formal proofs for Lyapunov stability theorems in exact real arithmetic. - Grigory Devadze; Stefan Streif (ECC, 2023)

Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis. - Grigory Devadze; Victor Magron; Stefan Streif (J. Autom. Reason., 2025)