Approximate Reasoning for Stochastic Markovian Systems

Mardare, Radu (PI (principal investigator))
Larsen, Kim Guldstrand (PI (principal investigator))

9 Konferenceartikel i proceeding
2 Konferenceartikel i tidsskrift
1 Tidsskriftartikel

1 resultater

Filter

2017
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Logical Methods in Computer Science.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang