150 citations · 548 across the 51 of their papers we have counts for
1 paper · 2 filters
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…