Model Checking Discounted Temporal Properties.

Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marille Stoelinga

Browse the full TACAS paper archive.