Probabilistic Contract Based Reasoning with Markov Decision Processes

  • Benôıt Delahaye
  • Published 2008

Abstract

In this paper we propose a probabilistic adaptation to the classical Assume/Guarantee contracts reasoning. This formalism relies on the notion of controllable Markov chains. We also propose an algorithm in order to compute probabilistic satisfaction and give possible definitions for probabilistic composition and dominance. 

1 Figure or Table

Topics

  • Presentations referencing similar topics