Statistically Sound Verification and Optimization for Complex Systems.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi

Browse the full ATVA paper archive.