Gaurav Chaulagain, and Medhavee Upadhyaya. “RUNTIME VERIFICATION AND PREDICTIVE SAFETY SHIELDS FOR AUTONOMOUS AGENTS: A GRIDWORLD SIMULATION STUDY”. International Journal on Human-Computing Studies 3, no. 3 (May 2, 2021): 55–70. Accessed October 28, 2026. https://journals.researchparks.org/index.php/IJHCS/article/view/5851.