TY  - RPRT
TI  - GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
AU  - Hadrien Bride
AU  - Jin Song Dong
AU  - Ryan Green
AU  - Zhe Hou
AU  - Brendan Mahony
AU  - Martin Oxenham
PY  - 2019
UR  - https://arxiv.org/abs/1910.01380
ID  - 1910.01380
ER  -