no code implementations • 23 Dec 2020 • Fujun Wang, Zining Cao, Lixing Tan, Zhen Li
After that, we present a performance evaluation language, CTRML, to reason over probabilistic systems, which extend the results to real number.
Formal Languages and Automata Theory F.4.3