Dave Parker

Publications

  1. Article › Research › Peer-reviewed
  2. Published

    Verification and control of partially observable probabilistic systems

    David Parker, May 2017, In: Real-Time Systems. 53, 3, p. 354–402 49 p.

    Research output: Contribution to journalArticlepeer-review

  3. Working paper › Research
  4. Published
  5. Published
  6. Published
  7. Published
  8. Published
  9. Published
  10. Published
  11. Published
Previous 1...6 7 8 9 10 Next