Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Approximate model checking of stochastic COWS
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
The ins and outs of the probabilistic model checker MRMC
Performance Evaluation
Steady state property verification of very large systems
International Journal of Critical Computer-Based Systems
HASL: an expressive language for statistical verification of stochastic models
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Steady-state property verification: a comparison study
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Approximate planning and verification for large markov decision processes
Proceedings of the 27th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |
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 ...