In these talks we consider the problem of probabilistic verification .Back to Start page
Title | Authors | Reference Papers |
---|---|---|
Compositional Verification of Probabilistic Systems using Learning | Lu Feng, Marta Kwiatkowska and David Parker | paper |
Compositional Probabilistic Verification through Multi-Objective Model Checking | M. Kwiatkowska et al. | paper |
Automated Learning of Probabilistic Assumptions for Compositional Reasoning | Lu Feng, Marta Kwiatkowska, and David Parker | paper |