@misc{indiciae6043ea068626,
  title = {GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems},
  author = {Hadrien Bride and Jin Song Dong and Ryan Green and Zhe Hou and Brendan Mahony and Martin Oxenham},
  year = {2019},
  url = {https://arxiv.org/abs/1910.01380},
  note = {Source identifier: 1910.01380}
}