Discounting the future in systems theory (2003)

by L de Alfaro, T A Henzinger, R Majumdar
Venue:In ICALP’03, LNCS 2719