Discounting the future in systems theory (2003)

by Luca de Alfaro, Thomas A Henzinger, Rupak Majumdar
Venue:of Lecture Notes in Computer Science