Publications “Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem”, Enrico Lipparini and Stefan Ratschan, in NFM23 [pdf] “Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test”, Alessandro Cimatti, Alberto Griggio, Enrico Lipparini and Roberto Sebastiani, in ATVA22 [pdf, slides, video] Master Thesis: “Decision Techniques for Parameterized Verification: the case of Token-Passing Rings” (advisor: Silvio Ghilardi) [pdf]