Model checking discounted temporal properties (0)

by L de Alfaro, M Faella, T A Henzinger, R Majumdar, M Stoelinga
Venue:In TACAS, volume 2988 of Lecture