5 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.DM2020
N-PAT: A Nested Model-Checker
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong +4
N-PAT is a new model-checking tool that supports the verification of nested-models, i.e. models whose behaviour depends on the results of verification tasks. In this paper, we desc…
cs.LG2019★ 5 cited
Silas: High Performance, Explainable and Verifiable Machine Learning
Hadrien Bride, Zhe Hou, Jie Dong +2
This paper introduces a new classification tool named Silas, which is built to provide a more transparent and dependable data analytics service. A focus of Silas is on providing a…
cs.AI2019
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
Hadrien Bride, Jin Song Dong, Ryan Green +3
While AI techniques have found many successful applications in autonomous systems, many of them permit behaviours that are difficult to interpret and may lead to uncertain results.…