%0 Conference Proceedings %F helouet:hal-01537796 %A Hélouet, L. %A Marchand, H. %T {On the cost of diagnosis with disambiguation} %B {QEST 2017} %S 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017) %C Berlin, France %U https://hal.inria.fr/hal-01537796/file/CostDiag.pdf %8 September %D 2017