www.prismmodelchecker.org
[ISSG05] S. Irani, G. Singh, S. Shukla and R. Gupta. An Overview of the Competitive and Adversarial Approaches to Designing Dynamic Power Management Strategies. IEEE Transactions on VLSI Systems. 2005. [bib] http://www.cse.ucsd.edu/~gupta/pubs/TVLSIEnergy05.pdf
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications