LAIV Publications

2023 Conference Publications

2023 PhD and MSc Dissertations

Daniel Kienitz: “The Influence of Geometric Properties of Data Distributions on Artificial Neural Networks”. PhD dissertation, Heriot-Watt University, 2023.

Alasdair Hill “Planning Problems as Types, Plans as Programs: A Dependent Types Infrastructure for Verification and Reasoning about Automated Plans in Agda” PhD Dissertation, Heriot-Watt University, 2023.

Ben Coke: MSc dissertation topic: Neural Network Verification with Vehicle. Supervisors: E.Komendantskaya

Jeonghyeon Lee: MSc dissertation topic: Neural Network Explainability meets Verification (in Vehicle). Supervisors: E.Komendantskaya

2022 Conference Publications:

2022 MSc dissertations:

Henri-Louis Boisvert: Evaluating the Performance of Different Reinforcement Learning Methods for Autonomous Racing MSc Dissertation at Heriot-Watt University, Best Msc Dissertation award 2022. Supervisors: L. Arnaboldi and E.Komendantskaya

Youssef Bonnaire: Improving and Generating LiDAR Data in Adverse Weather using GANs. MSc Dissertation at Heriot-Watt University. Supervisors: M.Casadio and E.Komendantskaya

Assya Chiguer: Explainable AI and Property-Driven Training. MSc Dissertation at Heriot-Watt University. Supervisors: E.Komendantskaya, N.Slusarz, M.Casadio

Sinead Donnelly: Formal Verification of an Autonomous Car Controller. MSc Dissertation at Heriot-Watt University. Supervisors: M.Daggitt and E.Komendantskaya

Haoran Hong: Autonomous Racing: a Real-Time Dynamic Path-Planning Approach Based on Racing Theory. MSc Dissertation at Heriot-Watt University. Supervisors: M.Daggitt and E.Komendantskaya

Samuel Moses: Visual Odometry of Autonomous Cars using Event Camera. MSc Dissertation at Heriot-Watt University. Supervisors: E.Komendantskaya, Y.Lin

2021 Conference Publications:

  • Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick. Actions You Can Handle: Dependent Types for AI Plans. Workshop on Type-driven Development’ 21, at ICFP’21, 2021.
  • Kirsty Duncan, Robert Stewart and Ekaterina Komendantskaya.  Logically Constrained Pruning Towards Robust Neural Networks. FOMLAS’21, Workshop on Formal Methods for ML-Enabled Autonomous Systems, at CAV’21.

2021 BSc and MSc dissertations:

Natalia Slusarz: Mathematical Properties of Neural Networks Trained on Artificial Data Sets. BSc Dissertation at Heriot-Watt University, 2021. Supervisors: E.Komendantskaya and D.Kienitz

Remi Desmartin: Neural Network Verification with Imandra. MSc Dissertation at Heriot-Watt University, 2021. Best Dissertation award. Supervisors: E.Komendantskaya and M.Daggitt

Dan Green: Understanding the Role of Machine Learning in Signed Language Recognition. Supervisors: E.Komendantskaya and M.Daggitt

Michael Pidgeon: Building Trust in Explanations of Machine Learning tools. MSc Dissertation at Heriot-Watt University, 2021. Supervisors: E.Komendantskaya and M.Daggitt

2020 Conference Publications:

2020 MSc and PhD Dissertations:

  • Alexandre Cardaillac. Explainable AI: Methods to Evaluate Machine Learning Models. MSc Dissertation. 2020. Supervisor: E.Komendantskaya.
  • Marco Casadio. Generative Against Logical Training against Adversarial Attacks. MSc Dissertation. 2020. Supervisor: E.Komendantskaya.
  • Hugo Cousin. High-performance Data Analysis for Social Networks Using Rust. MSc Dissertation. 2020. Supervisor: H.-W. Loidl.
  • Fraser Garrow. Artificial Neural Network Genetic Improvement for Accurate and Robust Image Classification. MSc Dissertation. 2020. Supervisor: M.Lones.
  • Dorian Gouzou. Repelling Dual-Swarm Particle Optimisation with Maximisation search. MSc Dissertation. 2020. Supervisor: M.Lones.
  • Vincent Larcher. Generation of Adversarial Attacks on Computer Vision Models using Reinforcement Learning. MSc Dissertation. 2020. Supervisor: E.Komendantskaya.
  • Bartosz Schatton. Informed Adversarial Examples with Explainable AI and Metaheuristics in Medical Imaging. MSc Dissertation. 2020. Supervisor: E.Komendantskaya.
  • Frantisek Farka. Proof-Relevant Resolution: The Foundations of Constructive Proof Automation. PhD Dissertation. 2020. Supervisor: E.Komendantskaya.

2019 Conference papers:

2019 MSc and PhD Dissertations:

  • P. Bacchus. Performance Metrics for Approximate Deep Learning on Programmable Hardware. MSc Thesis, Heriot-Watt University, 2019. Supervisor: R. Stewart.
  • P. Le Hen. Adversarial Attacks on Neural Networks in Image Processing. MSc Thesis, Heriot-Watt University, 2019. Supervisor: E.Komendantskaya.
  • D. Kienitz. Robustness of Neural Networks: Understanding the Nature of Adversarial Examples. MSc Thesis, Heriot-Watt University, 2019. Supervisor: E.Komendantskaya.
  • Y.Li. A Proof-Theoretic Approach to Coinduction in Horn Clause Logic” . PhD Thesis, Heriot-Watt University, 2019. Supervisor: E.Komendantskaya and M.Lawson.