Skip to Main content Skip to Navigation
Reports

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
Complete list of metadatas

https://hal.inria.fr/hal-02985273
Contributor : Albert Benveniste <>
Submitted on : Thursday, November 5, 2020 - 2:32:07 PM
Last modification on : Thursday, November 19, 2020 - 4:19:57 PM

Files

RR-9372.pdf
Files produced by the author(s)

Identifiers

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

Citation

Albert Benveniste, Kim 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⟩

Share

Metrics

Record views

66

Files downloads

56