Search Results for author: Hadrien Bride

Found 2 papers, 0 papers with code

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

no code implementations3 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.

Silas: High Performance, Explainable and Verifiable Machine Learning

no code implementations3 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.

BIG-bench Machine Learning Decision Making +2

Cannot find the paper you are looking for? You can Submit a new open access paper.