DMCA

Automated verification and strategy synthesis for probabilistic systems

Cached

Download Links

by Marta Kwiatkowska , David Parker
Citations:7 - 1 self