A Game-Theoretic Approach to Real-Time System Testing.

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen

Browse the full DATE paper archive.