Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures
This paper concerns branching simulation for weighted Kripke structures with parametric weights. Concretely, we consider a weighted extension of branching simulation where a single transitions can be matched by a sequence of transitions while preserving the branching behavior. We relax this notion t...
Main Authors: | Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2016-07-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1608.00657v1 |
Similar Items
-
Reasoning About Bounds in Weighted Transition Systems
by: Mikkel Hansen, et al.
Published: (2018-11-01) -
Composite reductions for Kripke models
by: Y. A. Belov.
Published: (2010-09-01) -
Davidson’s Answer to Kripke’s Sceptic
by: Olivia Sultanescu, et al.
Published: (2019-03-01) -
Kripke’s Wittgenstein and Semantic Factualism
by: Miloš Šumonja
Published: (2021-03-01) -
Kripke's Critique of Descriptivism Revisited
by: Pierre Baumann
Published: (2010-11-01)