Applications

QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking [Tool paper, Video, Source code]

Associated code & data for journal paper https://github.com/ashtou/spec17-ml

Data-Generation: A tool designed to generate data for household electricity consumption and solar panel power generation. [Relevant paper, Source code]

PP-LEM and PFET: Clearance Mechanisms for Local Energy Markets. [Relevant papers: PP-LEM, PFET; Source code]