2 citations · 4 across the 3 of their papers we have counts for
4 papers · 1 filter
PAWS: A Tool for the Analysis of Weighted Systems
Barbara König, Sebastian Küpper, Christina Mika
PAWS is a tool to analyse the behaviour of weighted automata and conditional transition systems. At its core PAWS is based on a generic implementation of algorithms for checking la…
Conditional Transition Systems with Upgrades
Harsh Beohar, Barbara König, Sebastian Küpper +1
We introduce a variant of transition systems, where activation of transitions depends on conditions of the environment and upgrades during runtime potentially create additional tra…
On path-based coalgebras and weak notions of bisimulation
Harsh Beohar, Sebastian Küpper
It is well known that the theory of coalgebras provides an abstract definition of behavioural equivalence that coincides with strong bisimulation across a wide variety of state-bas…
Up-To Techniques for Weighted Systems (Extended Version)
Filippo Bonchi, Barbara König, Sebastian Küpper
We show how up-to techniques for (bi-)similarity can be used in the setting of weighted systems. The problems we consider are language equivalence, language inclusion and the thres…