Real-Time Systems, ‎0922-6443

Journal

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