模型检测基于概率系统的反例产生问题，在最近引起人们的关注。
Model checking probabilistic systems have been studied well these years, but counterexample generation for probabilistic system model checking has just drawn some attentions recently.
这是波恩定则的推论，它定义了对一个量子系统的测量产生某种结果的概率。
This is the consequence of Born's rule, which defines the probability that a measurement on a quantum system will yield a certain result.
那么系统处于这样一个状态的概率是多少？
What's the probability that the whole system will be in such a state?
应用推荐