|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Compositional Verification and Optimization of Interactive Markov Chains
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Holger Hermanns, Jan Krcal, and Jan Kretinsky. Compositional verification and optimization of interactive Markov chains. Technical Report abs/1305.7332, arXiv.org, 2013.
Suggested BibTeX entry:
@techreport{DBLP:confconcurHermannsKK13-techreport,
author = {Holger Hermanns and Jan Kr{c}{a}l and Jan Kretinsky},
institution = {arXiv.org},
number = {abs/1305.7332},
title = {Compositional Verification and Optimization of Interactive {M}arkov Chains},
year = {2013}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|