2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
This paper concerns branching simulation for weighted Kripke structures with parametric weights. Concretely, we consider a weighted extension of branching simulation where a single…