Gaurav Chaulagain, Medhavee Upadhyaya. RUNTIME VERIFICATION AND PREDICTIVE SAFETY SHIELDS FOR AUTONOMOUS AGENTS: A GRIDWORLD SIMULATION STUDY. IJHCS [Internet]. 2021 May 2 [cited 2026 Oct. 28];3(3):55-70. Available from: https://journals.researchparks.org/index.php/IJHCS/article/view/5851