Jens Christian Godskesen

Research output

Research output per year 2008 2008 2009 2010 2013 2015

• 6 Article in proceedings
• 5 Conference article
• 2 Report
• 1 Journal article

Research output per year

Research output per year

Search results

• 2013

  Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)

  Song, L., Zhang, L. & Godskesen, J. C., 2013, In: Logical Methods in Computer Science. 9, 2, 34 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Probabilistic Automata 100%
  • Stochastic systems 88%
  • Formal verification 86%
  • Bisimulation 83%
  • Model checking 77%