Task-Structured Probabilistic I/O Automata

Task-Structured Probabilistic I/O Automata

Show other versions (3)

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 events, one needs mechanisms for resolving nondeterministic choices. For PIOAs,...

Full description

Bibliographic Details
Main Authors: Canetti,, Ran, Cheung,, Ling, Kaynar,, Dilsun, Liskov,, Moses, Lynch,, Nancy, Pereira,, Olivier, Segala, Roberto
Other Authors: Nancy Lynch
Language:en_US
Published: 2006
Online Access:http://hdl.handle.net/1721.1/33964

Internet

http://hdl.handle.net/1721.1/33964

Similar Items