Rectangular Hybrid Games.

Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar

Browse the full CONCUR paper archive.