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) ↗
2. Nested graphs: A model to efficiently distribute multi‐agent systems on HPC clusters. (16th January 2018) Authors: Rousset, Alban; Herrmann, Bénédicte; Lang, Christophe; Philippe, Laurent; Bride, Hadrien Other Names: Trunfio Giuseppe A. guestEditor.; Spataro William guestEditor.; Sirakoulis Georgios Ch. guestEditor. Journal: Concurrency and computation Issue: Volume 30:Number 7(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Silas: A high-performance machine learning foundation for logical reasoning and verification. (15th August 2021) Authors: Bride, Hadrien; Cai, Cheng-Hao; Dong, Jie; Dong, Jin Song; Hóu, Zhé; Mirjalili, Seyedali; Sun, Jing Journal: Expert systems with applications Issue: Volume 176(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗