News

• July 22, 2024:

  Our paper "PP-LEM: Efficient and Privacy-Preserving Clearance Mechanism for Local Energy Markets" has been published in the Sustainable Energy, Grids and Networks journal.

• October 6, 2023:

  Our paper "Single Event Effects Assessment of UltraScale+ MPSoC Systems Under Atmospheric Radiation" has been published in the IEEE Transactions on Reliability journal.

  Our paper "Exploring Sparse Visual Odometry Acceleration With High-Level Synthesis" has been published in the IEEE Access journal.

• August 1, 2023:

  Our paper "A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets" has been accepted at the International Conference on Smart Energy Systems and Technologies (SEST 2023).

• June 19, 2023:

  Our paper "Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement" has been accepted at the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2023).

• June 9, 2023:

  Our paper "Towards global neural network abstractions with locally-exact reconstruction" has been published in the Neural Networks journal.

• January 27, 2023:

  Our paper "Learning Disentangled Representations for Natural Language Definitions" has been accepted at the Findings of the European chapter of Association for Computational Linguistics (Findings of EACL), 2023.

  Our paper "Interventional Probing in High Dimensions: An NLI Case Study" has been accepted at the Findings of the European chapter of Association for Computational Linguistics (Findings of EACL), 2023.

  Our paper "Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation" has been accepted at the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023).

  Our paper "AIREPAIR: A Repair Platform for Neural Networks" has been accepted at the 45th IEEE/ACM International Conference on Software Engineering (ICSE 2023).

• October 26, 2022:

  Our paper "Effect of Clustering in Federated Learning on Non-IID Electricity Consumption Prediction" has been published in the proceedings of IEEE ISGT-Europe 2022.

  Our paper "Billing Models for Peer-to-Peer Electricity Trading Markets with Imperfect Bid-Offer Fulfillment" has been published in the proceedings of IEEE ISC2.

• October 17, 2022:

  Our paper "Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance" has been accepted in the ACM Transactions on Embedding Computing Systems.

  Our paper "Short-term Load Forecasting with Distributed Long Short-Term Memory" has been accepted at the 2023 IEEE ISGT North America.

• July 20, 2022: Our paper "CEG4N: Counter-Example Guided Neural Network Quantization Refinement" has been accepted at the 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems, affiliated with FLoC 2022.
  Source code
• June 30, 2022:

  Our paper "Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking" has been accepted in the 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2022).

• May 24, 2022: Our research group has one Research Associate position to work on Secure and Verifiable AI Models.
• April 20, 2022: Our paper "Peer-to-peer, community self-consumption, and transactive energy: A systematic literature review of local energy market models" has been published in the Renewable and Sustainable Energy Reviews journal.
• April 04, 2022: Talks from the EnnCore Special Session at the AAAI's Workshop on Artificial Intelligence Safety 2022 are available here.
• February 24, 2022: Our paper "Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective" has been accepted to Findings of ACL 2022.
• January 25, 2022:

  We published a new dataset: "Peer-to-Peer, Self-Consumption and Transactive Energy Literature Review Data Extraction Table"

• February 19, 2020: EnnCore was officially annunced at the EPSRC website.