Mixed Nondeterministic-Probabilistic Interfaces

11/05/2020
by   Albert Benveniste, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset