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

Simos Gerasimou, Radu Calinescu, Alec Banks

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Search results