Automated Game-Theoretic Verification of Security Systems
Date
2019-10-18
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Citation
Mu, 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_14