Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms |
scientific article |
Statements
Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (English)
0 references
6 June 2014
0 references
probabilistic systems
0 references
distributed systems
0 references
nondeterminism
0 references
interleaving
0 references
Markov decision processes
0 references
partial observation
0 references
0 references
0 references
0 references
0 references
