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