2 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.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.…