Computing Conditional Probabilities: Implementation and Evaluation

Thank you for your interest in the extended version of our SEFM'17 paper, the implemenation, and the additional materials.

Supplementary materials

Sources

Results

Presentation Slides


List of publications of Prof. Baier's group, PRISM publications.