research
∙
03/27/2023
Bisimilar States in Uncertain Structures
We provide a categorical notion called uncertain bisimilarity, which all...
share
research
∙
01/17/2023
Weighted and Branching Bisimilarities from Generalized Open Maps
In the open map approach to bisimilarity, the paths and their runs in a ...
research
∙
12/31/2022
Action Codes
We provide a new perspective on the problem how high-level state machine...
research
∙
03/21/2022
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
We provide a generic algorithm for constructing formulae that distinguis...
research
∙
06/14/2021
Minimality Notions via Factorization Systems
For the minimization of state-based systems (i.e. the reduction of the n...
research
∙
05/03/2021
Explaining Behavioural Inequivalence Generically in Quasilinear Time
We provide a generic algorithm for constructing formulae that distinguis...
research
∙
02/25/2021
Coalgebra Encoding for Efficient Minimization
Recently, we have developed an efficient generic partition refinement al...
research
∙
04/02/2020
From Generic Partition Refinement to Weighted Tree Automata Minimization
Partition refinement is a method for minimizing automata and transition ...
research
∙
11/21/2018
CoPaR: An Efficient Generic Partition Refiner
Partition refinement is a method for minimizing automata and transition ...
research
∙
06/14/2018
Efficient and Modular Coalgebraic Partition Refinement
We present a generic partition refinement algorithm that quotients coalg...
research
∙
05/14/2018
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
We introduce a generic expression language describing behaviours of fini...
research
∙
02/21/2018