Formal Methods in System Design, ‎0925-9856

Journal

Publications

  1. 2006
  2. Published
  3. Published

    Performance Analysis of Probabilistic Timed Automata using Digital Clocks

    Marta Kwiatkowska, Gethin Norman, David Parker & , 1 Jul 2006, In: Formal Methods in System Design. 29, 1, p. 33-78 46 p.

    Research output: Contribution to journalArticle

  4. 2010
  5. 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

  6. 2013
  7. Published

    Automatic verification of competitive stochastic systems

    David Parker & , 1 Aug 2013, In: Formal Methods in System Design. 43, 1, p. 61-92

    Research output: Contribution to journalArticlepeer-review

  8. 2021
  9. E-pub ahead of print

    Automatic verification of concurrent stochastic systems

    David Parker & , 22 Jan 2021, (E-pub ahead of print) In: Formal Methods in System Design. 58 p.

    Research output: Contribution to journalArticlepeer-review