Imperial College London & Safe Intelligence, London, United Kingdom; Safe Intelligence, London, United Kingdom
Harleen Hanspal, Alessio Lomuscio
Efficient Verification of Neural Networks Against LVM-Based Specifications