Bound-Preserving Composition for Markov Reward Models

  • Authors:
  • David Daly;Peter Buchholz;William H. Sanders

  • Affiliations:
  • IBM T.J. Watson Research Center Yorktown Heights, NY;Universitat Dortmund, Germany;University of Illinois at Urbana-Champaign

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

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