Talks on Probabilistic Verification

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