Testing, Verification, and Diagnosis in the Presence of Unknowns.

Ankur Jain, Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Michael S. Hsiao

Browse the full VTS paper archive.