research
∙
08/07/2023
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation
Boolean satisfiability (SAT) solving is a fundamental problem in compute...
share
research
∙
06/24/2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
Neural networks have been widely applied in security applications such a...
research
∙
06/05/2022
Geometric Theory for Program Testing
Formal methods for verification of programs are extended to testing of p...
research
∙
02/25/2022
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest
The broad adoption of Machine Learning (ML) in security-critical fields ...
research
∙
03/03/2021
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning
Ensemble trees are a popular machine learning model which often yields h...
research
∙
05/12/2020
N-PAT: A Nested Model-Checker
N-PAT is a new model-checking tool that supports the verification of nes...
research
∙
10/03/2019
Silas: High Performance, Explainable and Verifiable Machine Learning
This paper introduces a new classification tool named Silas, which is bu...
research
∙
10/03/2019
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
While AI techniques have found many successful applications in autonomou...
research
∙
06/24/2019
A formalisation of the SPARC TSO memory model for multi-core machine code
SPARC processors have many applications in mission-critical industries s...
research
∙
10/30/2017