On Sampling Abstraction of Continuous Time Logic with Durations.

Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya

Browse the full TACAS paper archive.