Dave Parker

Publications

  1. Working paper › Research
  2. Published
  3. Published
  4. Published
  5. Published
  6. Published
  7. Published
  8. Published
  9. Published
  10. Article › Research › Peer-reviewed
  11. Published

    A game-based abstraction-refinement framework for Markov decision processes

    Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman & David Parker, 1 Sep 2010, In: Formal Methods in System Design. 36, 3, p. 246-280

    Research output: Contribution to journalArticlepeer-review

  12. E-pub ahead of print

    ATEN: And/Or Tree Ensemble for inferring accurate Boolean network topology and dynamics

    David Parker & Shan He, 17 Jul 2019, In: Bioinformatics. 8 p., btz563.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 6 7 8 ...10 Next