Robust Probabilistic Model Checking With Continuous Reward Domains.

Xiaotong Ji, Hanchun Wang, Antonio Filieri, Ilenia Epifani

Browse the full SEAMS paper archive.