Dimitrova, R., & Majumdar, R. (2014). Deductive Control Synthesis for Alternating-time Logics. In EMSOFT '14 (pp. 1-10). New York, NY: ACM. doi:10.1145/2656045.2656054.