@inproceedings{fd2f98465ecd4d1396ca5e058a51311b,
title = "FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm",
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.",
keywords = "Gaming, Model Checking, Reactive Synthesis, Strategic Reasoning",
author = "Marco Aruta and Vadim Malvone and Aniello Murano and Palma, \{Vincenzo Pio\} and Salvatore Romano",
note = "Publisher Copyright: {\textcopyright} 2025 International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org).; 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025 ; Conference date: 19-05-2025 Through 23-05-2025",
year = "2025",
month = jan,
day = "1",
language = "English",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",
pages = "2997--2999",
editor = "Yevgeniy Vorobeychik and Sanmay Das and Ann Nowe",
booktitle = "Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025",
}