Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Browse the full SEFM paper archive.