Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

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…