probverify
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 |
probverify.txt · Last modified: 2017/04/18 10:32 by 127.0.0.1