====== Talks on Probabilistic Verification ======
In these talks we consider the problem of probabilistic verification .[[start|Back to Start page]]
----
^Title ^ Authors ^ Reference Papers ^
|Compositional Verification of Probabilistic Systems using Learning|Lu Feng, Marta Kwiatkowska and David Parker|{{:papers:fkp-comp-learn-qest10.pdf|paper}}|
|Compositional Probabilistic Verification through Multi-Objective Model Checking|M. Kwiatkowska et al.|{{:papers:knpq-multiobj-ic13.pdf|paper}}|
|Automated Learning of Probabilistic Assumptions for Compositional Reasoning|Lu Feng, Marta Kwiatkowska, and David Parker|{{:papers:fkp-learn-comp-fase11.pdf|paper}}|