Grigory Devadze

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Initial Conditions

Satisfiability Modulo Theories

Formal Verification

Top Venues

Comput. Electron. Agric.

IEEE CAA J. Autom. Sinica

Publications

Grigory Devadze, Stefan Streif
Formal proofs for Lyapunov stability theorems in exact real arithmetic. ECC (2023)
Grigory Devadze, Lukas Munser, Stefan Streif
Extraction of a computer-certified SMT solver for nonlinear theories. ECC (2023)
Grigory Devadze, Lars Flessing, Stefan Streif
Formal Verification of a Controller Implementation in Fixed-Point Arithmetic. ECC (2023)
Lukas Munser, Grigory Devadze, Stefan Streif
Synthesis of Lyapunov Functions using Formal Verification. CoRR (2021)
Grigory Devadze, Lars Flessing, Stefan Streif
Extraction of a computer-certified ODE solver. ECC (2021)
Pavel Osinenko, Konni Biegert, Roy J. McCormick, Thomas Göhrt, Grigory Devadze, Josef Streif, Stefan Streif
Application of non-destructive sensors and big data analysis to predict physiological storage disorders and fruit firmness in 'Braeburn' apples. Comput. Electron. Agric. 183 (2021)
Grigory Devadze, Lars Flessing, Stefan Streif
Extraction of a computer-certified ODE solver. CoRR (2021)
Lars Flessing, Grigory Devadze, Stefan Streif
Formal verification of a controller implementation in fixed-point arithmetic. CoRR (2021)
Grigory Devadze, Victor Magron, Stefan Streif
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis. CoRR (2020)
Lukas Munser, Arne-Jens Hempel, Grigory Devadze, Stefan Streif
Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering. CoRR (2020)
Pavel Osinenko, Grigory Devadze, Stefan Streif
Analysis of the Caratheodory' s theorem on dynamical system trajectories under numerical uncertainty. IEEE CAA J. Autom. Sinica 5 (4) (2018)