Zhe Hou

Silas: High Performance, Explainable and Verifiable Machine Learning pdf

Jin Song Dong, Jie Dong, Seyed Mohammad Mirjalili, 2019, ArXiv.

On embedding a hardware description language in Isabelle/HOL

Liu Yang, David Sanán, Zhe Hou, 2019, Design Automation for Embedded Systems.

GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems

Jin Song Dong, Brendan P. Mahony, Martin Oxenham, 2019, Eng. Appl. Artif. Intell..

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search pdf

Rajeev Goré, Alwen Tiu, Zhe Hou, 2013, TABLEAUX.