Gaurav Chaulagain; Medhavee Upadhyaya. RUNTIME VERIFICATION AND PREDICTIVE SAFETY SHIELDS FOR AUTONOMOUS AGENTS: A GRIDWORLD SIMULATION STUDY. IJHCS 2021, 3, 55-70.