Compositional Algorithms for Succinct Safety Games

Jean−François Raskin Romain Brenguier Guillermo A. Pérez and Ocan Sankur