Browsing Journal Articles and Proceedings by Author "Canetti, Ran"

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. (Elsevier BV, 2018)
      © 2017 Elsevier Inc. 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 ...