Automated Game-Theoretic Verification of Security Systems
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