1. GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. (January 2021) Authors: Bride, Hadrien; Dong, Jin Song; Green, Ryan; Hóu, Zhé; Mahony, Brendan; Oxenham, Martin Journal: Engineering applications of artificial intelligence Issue: Volume 97(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗