Discounting the future in systems theory (2003)

by L de Alfaro, T A Henzinger, R Majumdar
Venue:In Proc. 30th Int. Colloq. Aut. Lang. Prog., volume 2719 of Lect. Notes in Comp. Sci