Task-structured probabilistic I/O automata

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 01, 2018
Source ID
10.1016/j.jcss.2017.09.007

Entities

People

  • Dilsun Kırlı Kaynar
  • Ling Cheung
  • Moses Liskov
  • Nancy Lynch
  • Olivier Pereira
  • Ran Canetti
  • Roberto Segala

Organizations

  • Air Force Office of Scientific Research
  • Air Force Research Laboratory
  • Army Research Office
  • Defense Advanced Research Projects Agency
  • Dutch Research Council
  • German Research Foundation
  • National Fund for Scientific Research
  • National Science Foundation
  • United States Air Force