Run-time efficient probabilistic model checking.

Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli

Browse the full ICSE paper archive.