Automated Game-Theoretic Verification of Security Systems

Mu, ChunyanParker, DavidWolf, Verena2023-01-132023-01-132019-10-18Mu, C 2019, Automated Game-Theoretic Verification of Security Systems. in D Parker & V Wolf (eds), 16th International Conference on Quantitative Evaluation of Systems (QEST). vol. 11785, Lecture Notes in Computer Science, vol. 11785, Springer , pp. 239-256. https://doi.org/10.1007/978-3-030-30281-8_14Bibtex: DBLP:conf/qest/Mu19ORCID: /0000-0002-2988-6939/work/126803936https://hdl.handle.net/2164/1983718279288engAutomated Game-Theoretic Verification of Security SystemsConference item10.1007/978-3-030-30281-8_14