2 citations · 4 across the 3 of their papers we have counts for
6 papers
On Kleisli liftings and decorated trace semantics
Daniel Luckhardt, Harsh Beohar, Sebastian Küpper
It is well known that Kleisli categories provide a natural language to model side effects. For instance, in the theory of coalgebras, behavioural equivalence coincides with languag…
Bisimulation maps in presheaf categories
Harsh Beohar, Sebastian Küpper
The category of presheaves on a (small) category is a suitable semantic universe to study behaviour of various dynamical systems. In particular, presheaves can be used to record th…
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…