Browsing Technical Reports and Memos by Author "Kaynar,, Dilsun"
Now showing items 1-1 of 1
-
Task-Structured Probabilistic I/O Automata
Canetti,, Ran; Cheung,, Ling; Kaynar,, Dilsun; Liskov,, Moses; Lynch,, Nancy; e.a. (2006-09-05)Modeling frameworks such as Probabilistic I/O Automata (PIOA) andMarkov Decision Processes permit both probabilistic andnondeterministic choices. In order to use such frameworks to express claims about probabilities of ...