×

Found 3 Documents (Results 1–3)

Are parametric Markov chains monotonic? (English) Zbl 1437.68121

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 479-496 (2019).
MSC:  68Q60 60J10 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field

Software