Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts.

Chanwook Oh, Michele Lora, Pierluigi Nuzzo

Browse the full ICCAD paper archive.