Search
Now showing items 1-1 of 1
Task-Structured Probabilistic I/O Automata
(2009.)
Modeling frameworks such as Probabilistic I/O Automata (PIOA) and Markov Decision Processes permit both probabilistic and nondeterministic choices. In order to use these frameworks to express claims about probabilities of ...