Real-Time Systems, 0922-6443

Journal

Publications

  1. 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 journalArticle