CSL Model Checking for Generalized Stochastic Petri Nets

Authors:
Davide Cerotti;Susanna Donatelli;Andras Horvath;Jeremy Sproston
Affiliations:
Universita di Torino, 10149 Torino, Italy;Universita di Torino, 10149 Torino, Italy;Universita di Torino, 10149 Torino, Italy;Universita di Torino, 10149 Torino, Italy
Venue:
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Year:
2006

Citing 0
Cited 1

Model checking interactive markov chains

TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, responsibility, and blame. I first review the Halpern-Pearl definition of ...