Discounting in LTL.

Shaull Almagor, Udi Boker, Orna Kupferman

Browse the full TACAS paper archive.