5 citations · 8 across the 11 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
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.…
cs.LO2019
A formalisation of the SPARC TSO memory model for multi-core machine code
Zhe Hou, David Sanan, Alwen Tiu +2
SPARC processors have many applications in mission-critical industries such as aviation and space engineering. Hence, it is important to provide formal frameworks that facilitate t…