StEVe: A Rational Verification Tool for Stackelberg Security Games. - Surasak Phetmanee; Michele Sevegnani; Oana Andrei (IFM, 2024)

Rational Verification in Repeated Security Games. - Surasak Phetmanee; Michele Sevegnani; Oana Andrei (SAFECOMP (Workshops), 2025)