Game-theoretic timing analysis.

Sanjit A. Seshia, Alexander Rakhlin

Browse the full ICCAD paper archive.