29 citations · 149 across the 31 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.FL2015★ 4 cited
Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata
Yuan Feng, Lei Song, Lijun Zhang
Probabilistic automata were introduced by Rabin in 1963 as language acceptors. Two automata are equivalent if and only if they accept each word with the same probability. On the ot…
cs.LO2015
Extending Hybrid CSP with Probability and Stochasticity
Yu Peng, Shuling Wang, Naijun Zhan +1
Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of…
cs.LO2015★ 6 cited
A Simple Probabilistic Extension of Modal Mu-calculus
Wanwei Liu, Lei Song, Ji Wang +1
Probabilistic systems are an important theme in AI domain. As the specification language, the logic PCTL is now the default logic for reasoning about probabilistic properties. In t…