Less is more: Estimating probabilistic rewards over partial system explorations

Model-based reliability estimation of systems can provide useful insights early in the development process. However, computational complexity of estimating metrics such as mean time to first failure (MTTFF), turnaround time (TAT), or other domain-based quantitative measures can be prohibitive both i...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Pavese, E., Braberman, V., Uchitel, S.
Formato: JOUR
Materias:
Estimation
Model checking
Partial verification
Probability
Quantitativemodelling
Turnaround time
Mean time to first failure
Probabilistic model checking
Quantitative measures
Reliability estimation
Statistical model checking
Systematic exploration
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_1049331X_v25_n2_p_Pavese
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares