Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability.

Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Browse the full RTSS paper archive.