Grigory Devadze

According to our database, Grigory Devadze authored at least 9 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis.

Grigory Devadze, Victor Magron, Stefan Streif

J. Autom. Reason., March, 2025

2023

Formal proofs for Lyapunov stability theorems in exact real arithmetic.

Grigory Devadze, Stefan Streif

Proceedings of the European Control Conference, 2023

Extraction of a computer-certified SMT solver for nonlinear theories.

Grigory Devadze, Lukas Munser, Stefan Streif

Proceedings of the European Control Conference, 2023

Formal Verification of a Controller Implementation in Fixed-Point Arithmetic.

Grigory Devadze, Lars Flessing, Stefan Streif

Proceedings of the European Control Conference, 2023

2021

Synthesis of Lyapunov Functions using Formal Verification.

Lukas Munser, Grigory Devadze, Stefan Streif

CoRR, 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

Extraction of a computer-certified ODE solver.

Grigory Devadze, Lars Flessing, Stefan Streif

Proceedings of the 2021 European Control Conference, 2021

2020

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

2018

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