FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm

Open Webpage

Marco Aruta, Vadim Malvone, Aniello Murano, Vincenzo Pio Palma, Salvatore Romano

Published: 01 Jan 2025, Last Modified: 25 Sept 2025AAMAS 2025EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We present FindMe, a prototype tool that enhances AI-driven decision-making in Non-Player Characters (NPCs) within Unreal Engine 5.4. Our approach utilizes formal verification techniques, specifically Computation Tree Logic (CTL), to enable real-time adaptive behavior in NPCs. Additionally, we employ an innovative model optimization technique to enhance our verification process. Our in-engine implementation of CTL model checking outperforms existing tools like NuSMV, even in more complex scenarios.