A Generalised Framework for Property-Driven Machine Learning. - Thomas Flinkow; Marco Casadio; Colin Kessler; Rosemary Monahan; Ekaterina Komendantskaya (CoRR, 2025)

Neural Network Verification for Gliding Drone Control: A Case Study. - Colin Kessler; Ekaterina Komendantskaya; Marco Casadio; Ignazio Maria Viola; Thomas Flinkow; Albaraa Ammar Othman; Alistair Malhotra; Robbie McPherson (CoRR, 2025)