Quantitative Analysis of Embedded Software Using Game-Theoretic Learning
FREE-DOWNLOAD [PDF] SA Seshia – 2009