Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration.

Simos Gerasimou, Radu Calinescu, Alec Banks

Browse the full ICSE paper archive.