Discounting the future in systems theory (2003)

by Luca De Alfaro , Thomas A. Henzinger , Rupak Majumdar
Venue:In Automata, Languages, and Programming, LNCS 2719
Citations:45 - 16 self