Surasak Phetmanee

Research title: Rational Verification for Stackelberg Security Games

Publications

List by: Type | Date

Jump to: 2024
Number of items: 1.

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)

This list was generated on Sat Jun 14 13:57:29 2025 BST.
Jump to: Conference Proceedings
Number of items: 1.

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 Sat Jun 14 13:57:29 2025 BST.

Supervisors