23 citations · 41 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 18 cited
Distances for Weighted Transition Systems: Games and Properties
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…
cs.FL2010★ 23 cited
On Zone-Based Analysis of Duration Probabilistic Automata
Oded Maler, Kim G. Larsen, Bruce H. Krogh
We propose an extension of the zone-based algorithmics for analyzing timed automata to handle systems where timing uncertainty is considered as probabilistic rather than set-theore…