Grigory Devadze

12 papers Journal 8Unranked 4

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