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):55-70. https://doi.org/10.31149/ijhcs.v3i3.5851.