Scalable and scope-bounded software verification in Varvel. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Takashi Imoto; Rakesh Pothengil; Mustafa Hussain (Autom. Softw. Eng., 2015)

NovGrid: A Flexible Grid World for Evaluating Agent Response to Novelty. - Jonathan C. Balloch; Zhiyu Lin; Mustafa Hussain; Aarun Srinivas; Robert Wright; Xiangyu Peng; Julia M. Kim; Mark O. Riedl (CoRR, 2022)

Neuro-Symbolic World Models for Adapting to Open World Novelty. - Jonathan C. Balloch; Zhiyu Lin; Xiangyu Peng; Mustafa Hussain; Aarun Srinivas; Robert Wright; Julia M. Kim; Mark O. Riedl (AAMAS, 2023)