Quantitative Verification in Rational Environments.

Anshul Gupta, Sven Schewe

Browse the full TIME paper archive.