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 • 18 Dec 2016 • Jiuyong Li, Lin Liu, Jixue Liu, Ryan Green
It is common that a trained classification model is applied to the operating data that is deviated from the training data because of noise.