Timed Relational Abstractions for Sampled Data Control Systems.

Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari

Browse the full CAV paper archive.