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
research
12/30/2015

A Notation for Markov Decision Processes

This paper specifies a notation for Markov decision processes....
research
12/20/2017

Temporal logic control of general Markov decision processes by approximate policy refinement

The formal verification and controller synthesis for Markov decision pro...
research
06/05/2012

A Mixed Observability Markov Decision Process Model for Musical Pitch

Partially observable Markov decision processes have been widely used to ...
research
02/06/2013

Incremental Pruning: A Simple, Fast, Exact Method for Partially Observable Markov Decision Processes

Most exact algorithms for general partially observable Markov decision p...
research
06/12/2021

Model-free Reinforcement Learning for Branching Markov Decision Processes

We study reinforcement learning for the optimal control of Branching Mar...
research
11/15/2022

Participation Interfaces for Human-Centered AI

Emerging artificial intelligence (AI) applications often balance the pre...
research
10/06/2021

Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)

Cyber-physical systems (CPSs) are naturally modelled as reactive systems...

Please sign up or login with your details

Forgot password? Click here to reset