Surasak Phetmanee, Michele Sevegnani, Oana Andrei. Rational Verification in Repeated Security Games. In Martin Törngren, Barbara Gallina, Erwin Schoitsch, Elena Troubitsyna, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops - CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings. Volume 15955 of Lecture Notes in Computer Science, pages 312-326, Springer, 2025. [doi]
Abstract is missing.