{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:16:55Z","timestamp":1757542615940,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031765537"},{"type":"electronic","value":"9783031765544"}],"license":[{"start":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T00:00:00Z","timestamp":1731456000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T00:00:00Z","timestamp":1731456000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-76554-4_15","type":"book-chapter","created":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T12:03:21Z","timestamp":1731413001000},"page":"267-275","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["StEVe: A Rational Verification Tool for\u00a0Stackelberg Security Games"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8913-1124","authenticated-orcid":false,"given":"Surasak","family":"Phetmanee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6773-9481","authenticated-orcid":false,"given":"Michele","family":"Sevegnani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1306-0219","authenticated-orcid":false,"given":"Oana","family":"Andrei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,13]]},"reference":[{"issue":"9","key":"15_CR1","doi-asserted-by":"publisher","first-page":"6569","DOI":"10.1007\/s10489-021-02658-y","volume":"51","author":"A Abate","year":"2021","unstructured":"Abate, A., et al.: Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. 51(9), 6569\u20136584 (2021)","journal-title":"Appl. Intell."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Aslanyan, Z., Nielson, F., Parker, D.: Quantitative verification and synthesis of attack defence scenarios. In: Proc. of CSF 2016, pp. 105\u2013119. IEEE Computer Society (2016)","DOI":"10.1109\/CSF.2016.15"},{"issue":"1","key":"15_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10703-013-0183-7","volume":"43","author":"T Chen","year":"2013","unstructured":"Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A.: Automatic verification of competitive stochastic systems. Formal Methods Syst. Des 43(1), 61\u201392 (2013)","journal-title":"Formal Methods Syst. Des"},{"key":"15_CR4","unstructured":"Giannakopoulou, D., Mavridou, A., Rhein, J., Pressburger, T., Schumann, J., Shi, N.: Formal requirements elicitation with FRET. In: International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020). No. ARC-E-DAA-TN77785 (2020)"},{"key":"15_CR5","doi-asserted-by":"publisher","unstructured":"Gutierrez, J., Najib, M., Perelli, G., Wooldridge, M.: EVE: A Tool for Temporal Equilibrium Analysis. In: Lahiri, S.K., Wang, C. (eds.) ATVA 2018. LNCS, vol. 11138, pp. 551\u2013557. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01090-4_35","DOI":"10.1007\/978-3-030-01090-4_35"},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/logcom\/exs029","volume":"24","author":"B Kordy","year":"2014","unstructured":"Kordy, B., Mauw, S., Radomirovic, S., Schweitzer, P.: Attack defence trees. J. Log. Comput. 24(1), 55\u201387 (2014)","journal-title":"J. Log. Comput."},{"key":"15_CR7","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Santos, G.: Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) FM 2019. LNCS, vol. 11800, pp. 298\u2013315. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_19","DOI":"10.1007\/978-3-030-30942-8_19"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1146\/annurev-control-042820-010947","volume":"5","author":"M Kwiatkowska","year":"2022","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking and autonomy. Annu. Rev. Control. Robotics Auton. Syst. 5, 385\u2013410 (2022)","journal-title":"Annu. Rev. Control. Robotics Auton. Syst."},{"key":"15_CR9","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Santos, G.: PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12225, pp. 475\u2013487. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_25","DOI":"10.1007\/978-3-030-53291-8_25"},{"key":"15_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01545-8","volume-title":"Essentials of game theory: A concise multidisciplinary introduction","author":"K Leyton-Brown","year":"2008","unstructured":"Leyton-Brown, K., Shoham, Y.: Essentials of game theory: A concise multidisciplinary introduction. Morgan & Claypool Publishers, Synthesis Lectures on AI and ML (2008)"},{"key":"15_CR11","unstructured":"Najib, M.: Rational verification in multi-agent systems. Ph.D. thesis, UK (2020)"},{"key":"15_CR12","unstructured":"National Vulnerability Database (NVD): CVE-2017-8759. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2017-8759"},{"key":"15_CR13","unstructured":"National Vulnerability Database (NVD): CVE-2024-3400. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2024-3400"},{"key":"15_CR14","unstructured":"Osborne, M.J., Rubinstein, A.: A course in game theory. MIT Press (1994)"},{"key":"15_CR15","doi-asserted-by":"publisher","unstructured":"Phetmanee, S., Sevegnani, M., Andrei, O.: StEVe: A rational verification tool for Stackelberg security games. https:\/\/doi.org\/10.5281\/zenodo.11004420","DOI":"10.5281\/zenodo.11004420"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Sinha, A., Fang, F., An, B., Kiekintveld, C., Tambe, M.: Stackelberg security games: looking beyond a decade of success. In: Proc. IJCAI18 (2018)","DOI":"10.24963\/ijcai.2018\/775"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Tambe, M.: Security and game theory. Cambridge University Press (2012)","DOI":"10.1017\/CBO9780511973031"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Gutierrez, J., Harrenstein, P., Marchioni, E., Perelli, G., Toumi, A.: Rational verification: from model checking to equilibrium checking. In: Proc. of the AAAI Conference on Artificial Intelligence 30(1) (2016)","DOI":"10.1609\/aaai.v30i1.9878"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-76554-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T11:38:16Z","timestamp":1737200296000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-76554-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,13]]},"ISBN":["9783031765537","9783031765544"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-76554-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,13]]},"assertion":[{"value":"13 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Manchester","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ifm2024.cs.manchester.ac.uk\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}