Gaurav Chaulagain, and Medhavee Upadhyaya. “RUNTIME VERIFICATION AND PREDICTIVE SAFETY SHIELDS FOR AUTONOMOUS AGENTS: A GRIDWORLD SIMULATION STUDY”. International Journal on Human-Computing Studies, vol. 3, no. 3, May 2021, pp. 55-70, doi:10.31149/ijhcs.v3i3.5851.