Surasak Phetmanee

According to our database, Surasak Phetmanee authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Rational Verification in Repeated Security Games.

Surasak Phetmanee, Michele Sevegnani, Oana Andrei

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

2024

StEVe: A Rational Verification Tool for Stackelberg Security Games.

Surasak Phetmanee, Michele Sevegnani, Oana Andrei

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024