no code implementations • 24 Jun 2022 • Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong
For those reasons, there is a high demand for trustworthy and rigorous methods to verify the robustness of neural network models.
no code implementations • 25 Feb 2022 • Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
The broad adoption of Machine Learning (ML) in security-critical fields demands the explainability of the approach.
no code implementations • 8 Feb 2022 • Wilayat Khan, Zhe Hou, David Sanan, Jamel Nebhen, Yang Liu, Alwen Tiu
To enable formal reasoning in one of the most commonly used description language VHDL, we define a formal model of the VHDL language in Isabelle/HOL.
no code implementations • 3 Oct 2019 • Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan Mahony, Martin Oxenham
We follow the "verification as planning" paradigm and propose to use model checking techniques to solve planning and goal reasoning problems for autonomous systems.
no code implementations • 3 Oct 2019 • Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Ali Mirjalili
This paper introduces a new classification tool named Silas, which is built to provide a more transparent and dependable data analytics service.