Formal verification of individualized endocrinological treatments

Abstract

Female infertility due to endocrinolocal diseas costs over one billion Eur per year when accounting for treatments and life impact. In this paper we propose a model based approach to endocrinological treat-ment verification and design.