Decision Algorithm for CSL

Precisely deciding CSL formulas through approximate model checking for CTMCs
The model checking problem of continuous-time Markov chains with respect to continuous-time stochastic logic was introduced and shown …
Yuan Feng, Lijun Zhang
引用 DOI URL