18 citations · 18 across the 1 of their papers we have counts for
1 paper · 1 filter
Uli Fahrenberg, Claus Thrane, Kim G. Larsen
We develop a general framework for reasoning about distances between transition systems with quantitative information. Taking as starting point an arbitrary distance on system trac…