Anjon Basak Fei Fang 0001 Thanh Hong Nguyen Christopher Kiekintveld Abstraction Methods for Solving Graph-Based Security Games. 13-33 2016 AAMAS Workshops (Visionary Papers) https://doi.org/10.1007/978-3-319-46840-2_2 conf/atal/2016v db/conf/atal/aamas2016v.html#BasakFNK16