Projects Explore our current and past projects. COVER: COalgebraic Foundations for Quantitative VERification International Centre for Spatial Computational Learning