Project: Quantitative specifications: learning, algorithms and applications