Task-Structured Probabilistic I/O Automata

Task-Structured Probabilistic I/O Automata

Show other versions (3)

In the Probabilistic I/O Automata (PIOA) framework, nondeterministicchoices are resolved using perfect-information schedulers,which are similar to history-dependent policies for Markov decision processes(MDPs). These schedulers are too powerful in the setting of securityanalysis, leading to unrealis...

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/32525

Internet

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

Similar Items