Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria The theory of traces for systems with nondeterminism, probability, and termination. (English) Zbl 07566077 Log. Methods Comput. Sci. 18, No. 2, Paper No. 21, 66 p. (2022). MSC: 68Q85 68Q45 68Q65 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Michaliszyn, Jakub; Otop, Jan Non-deterministic weighted automata evaluated over Markov chains. (English) Zbl 1436.68182 J. Comput. Syst. Sci. 108, 118-136 (2020). MSC: 68Q45 60J20 68Q87 68W25 68W40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv