Quantitative Refinement for Weighted Modal Transition Systems.

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane

Browse the full MFCS paper archive.