Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe A. S. Ferri, Julio Buzzi

Browse the full ISoLA paper archive.