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.