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.

中文翻译：

---

混合非确定性-概率接口

接口理论是强大的框架，通过改进和构造连接和并行组合来支持系统的增量和组合设计。在本报告中，我们提出了第一个接口理论——|模态混合接口——用于在其行为中表现出非确定性和随机性的系统。相关的组件模型——混合马尔可夫决策过程——也很新颖，包含了普通的马尔可夫决策过程和概率自动机。