Gaurav Chaulagain and Medhavee Upadhyaya, “RUNTIME VERIFICATION AND PREDICTIVE SAFETY SHIELDS FOR AUTONOMOUS AGENTS: A GRIDWORLD SIMULATION STUDY”, IJHCS, vol. 3, no. 3, pp. 55–70, May 2021.