@phdthesis{Kar7,
title = { Finding inductive invariants using satisfiability modulo theories and convex optimization },
author = {Karpenkov, George Egor},
month = {Mar},
year = {2017},
type = {Theses},
number = {2017},
school = {{Universit{\'e} Grenoble Alpes}},
team = {PACSS},
pdf = {https://tel.archives-ouvertes.fr/tel-01681555/file/KARPENKOV_2017_diffusion.pdf},
hal_id = {tel-01681555},
hal_version = {v2},
}