QPME - Queueing Petri Net Modeling Environment

  • Authors:
  • Samuel Kounev;Christofer Dutz;Alejandro Buchmann

  • Affiliations:
  • University of Cambridge, UK;Darmstadt University of Technology, Germany;Darmstadt University of Technology, Germany

  • Venue:
  • QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
  • Year:
  • 2006

Quantified Score

Hi-index 0.01

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 ...