Optimising Experiments for Photometric Redshift Prediction Formal Verification of Homomorphic Vote Counting Algorithms