Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Mixed Nondeterministic-Probabilistic Interfaces

Abstract : Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition. In this report we present a first Interface Theor -- |Modal Mixed Interfaces -- for systems exhibiting both non-determinism and randomness in their behaviour. The associated component model -- Mixed Markov Decision Processes -- is also novel and subsumes both ordinary Markov Decision Processes and Probabilistic Automata.
Document type :
Reports (Research report)
Complete list of metadata
Contributor : Albert Benveniste Connect in order to contact the contributor
Submitted on : Thursday, November 5, 2020 - 2:32:07 PM
Last modification on : Wednesday, October 26, 2022 - 8:14:07 AM
Long-term archiving on: : Saturday, February 6, 2021 - 6:18:24 PM


Files produced by the author(s)


  • HAL Id : hal-02985273, version 1
  • ARXIV : 2011.09435


Albert Benveniste, Kim G Larsen, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Interfaces. [Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40. ⟨hal-02985273⟩



Record views


Files downloads