18 citations · 67 across the 31 of their papers we have counts for
3 papers · 2 filters
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…
Specifying Graph Languages with Type Graphs
Andrea Corradini, Barbara König, Dennis Nolte
We investigate three formalisms to specify graph languages, i.e. sets of graphs, based on type graphs. First, we are interested in (pure) type graphs, where the corresponding langu…
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…