Krishnendu Chatterjee Graph Games with Reachability Objectives - (Invited Talk). 1 2011 RP http://dx.doi.org/10.1007/978-3-642-24288-5_1 conf/rp/2011 db/conf/rp/rp2011.html#Chatterjee11