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