Gaurav Chaulagain and Medhavee Upadhyaya 2021. RUNTIME VERIFICATION AND PREDICTIVE SAFETY SHIELDS FOR AUTONOMOUS AGENTS: A GRIDWORLD SIMULATION STUDY. International Journal on Human-Computing Studies. 3, 3 (May 2021), 55–70. DOI:https://doi.org/10.31149/ijhcs.v3i3.5851.