GAURAV CHAULAGAIN; MEDHAVEE UPADHYAYA. RUNTIME VERIFICATION AND PREDICTIVE SAFETY SHIELDS FOR AUTONOMOUS AGENTS: A GRIDWORLD SIMULATION STUDY. International Journal on Human-Computing Studies, [S. l.], v. 3, n. 3, p. 55–70, 2021. DOI: 10.31149/ijhcs.v3i3.5851. Disponível em: https://journals.researchparks.org/index.php/IJHCS/article/view/5851. Acesso em: 28 oct. 2026.