3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.LO2017★ 1 cited
Finding polynomial loop invariants for probabilistic programs
Yijun Feng, Lijun Zhang, David N. Jansen +2
Quantitative loop invariants are an essential element in the verification of probabilistic programs. Recently, multivariate Lagrange interpolation has been applied to synthesizing…
cs.LO2017
Distribution-based bisimulation for labelled Markov processes
Pengfei Yang, David N. Jansen, Lijun Zhang
In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both on…
cs.LO2011★ 3 cited
Erratum to: Model-checking continuous-time Markov chains by Aziz et al
David N. Jansen
This note corrects a discrepancy between the semantics and the algorithm of the multiple until operator of CSL, like in Pr_{> 0.0025} (a until[1,2] b until[3,4] c), of the article:…