18 citations · 67 across the 31 of their papers we have counts for
4 papers · 2 filters
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
Harsh Beohar, Sebastian Gurke, Barbara König +4
We address the task of deriving fixpoint equations from modal logics characterizing behavioural equivalences and metrics (summarized under the term conformances). We rely on earlie…
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
Jonas Forster, Lutz Schröder, Paul Wild +3
Coalgebra, as the abstract study of state-based systems, comes naturally equipped with a notion of behavioural equivalence that identifies states exhibiting the same behaviour. In…
A Monoidal View on Fixpoint Checks
Paolo Baldan, Richard Eggert, Barbara König +2
Fixpoints are ubiquitous in computer science as they play a central role in providing a meaning to recursive and cyclic definitions. Bisimilarity, behavioural metrics, termination…
Stochastic Decision Petri Nets
Florian Wittbold, Rebecca Bernemann, Reiko Heckel +2
We introduce stochastic decision Petri nets (SDPNs), which are a form of stochastic Petri nets equipped with rewards and a control mechanism via the deactivation of controllable tr…