Surasak Phetmanee

Research title: Rational Verification for Stackelberg Security Games

Publications

List by: Type | Date

Jump to: 2025 | 2024 | 2023
Number of items: 3.

2025

Phetmanee, Surasak ORCID logoORCID: https://orcid.org/0000-0002-8913-1124, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2025) Rational Verification in Repeated Security Games. 4th International Workshop on Safety and Security Interactions (SENSEI 2025), Stockholm, Sweden, 9 Sept 2025. (Accepted for Publication)

2024

Phetmanee, Surasak ORCID logoORCID: https://orcid.org/0000-0002-8913-1124, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2024) STEVE: A Rational Verification Tool for Stackelberg Security Games. In: 19th International Conference on Integrated Formal Methods (iFM 2024), Manchester, UK, 11-15 Nov 2024, pp. 267-275. ISBN 9783031765537 (doi: 10.1007/978-3-031-76554-4_15)

2023

Phetmanee, Surasak ORCID logoORCID: https://orcid.org/0000-0002-8913-1124 (2023) An Extended Abstract on Towards Verifying Stackelberg Security Games. Doctoral Symposium in conjunction with the 25th International Symposium on Formal Methods, Lübeck, Germany, 6 March 2023.

This list was generated on Tue Jul 15 18:20:07 2025 BST.
Jump to: Conference or Workshop Item | Conference Proceedings
Number of items: 3.

Conference or Workshop Item

Phetmanee, Surasak ORCID logoORCID: https://orcid.org/0000-0002-8913-1124, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2025) Rational Verification in Repeated Security Games. 4th International Workshop on Safety and Security Interactions (SENSEI 2025), Stockholm, Sweden, 9 Sept 2025. (Accepted for Publication)

Phetmanee, Surasak ORCID logoORCID: https://orcid.org/0000-0002-8913-1124 (2023) An Extended Abstract on Towards Verifying Stackelberg Security Games. Doctoral Symposium in conjunction with the 25th International Symposium on Formal Methods, Lübeck, Germany, 6 March 2023.

Conference Proceedings

Phetmanee, Surasak ORCID logoORCID: https://orcid.org/0000-0002-8913-1124, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2024) STEVE: A Rational Verification Tool for Stackelberg Security Games. In: 19th International Conference on Integrated Formal Methods (iFM 2024), Manchester, UK, 11-15 Nov 2024, pp. 267-275. ISBN 9783031765537 (doi: 10.1007/978-3-031-76554-4_15)

This list was generated on Tue Jul 15 18:20:07 2025 BST.

Supervisors