research
∙
07/27/2023
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
Coalgebra, as the abstract study of state-based systems, comes naturally...
share
research
∙
05/04/2023
A Monoidal View on Fixpoint Checks
Fixpoints are ubiquitous in computer science as they play a central role...
research
∙
03/24/2023
Interpretable Anomaly Detection via Discrete Optimization
Anomaly detection is essential in many application domains, such as cybe...
research
∙
03/23/2023
Stochastic Decision Petri Nets
We introduce stochastic decision Petri nets (SDPNs), which are a form of...
research
∙
07/20/2022
A Lattice-Theoretical View of Strategy Iteration
Strategy iteration is a technique frequently used for two-player games i...
research
∙
07/12/2022
Hennessy-Milner Theorems via Galois Connections
We introduce a general and compositional, yet simple, framework that all...
research
∙
05/27/2022
Probabilistic Systems with Hidden State and Unobservable Transitions
We consider probabilistic systems with hidden state and unobservable tra...
research
∙
03/29/2022
Graded Monads and Behavioural Equivalence Games
The framework of graded semantics uses graded monads to capture behaviou...
research
∙
01/20/2021
Fixpoint Theory – Upside Down
Knaster-Tarski's theorem, characterising the greatest fixpoint of a mono...
research
∙
09/30/2020
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks
This paper exploits extended Bayesian networks for uncertainty reasoning...
research
∙
04/24/2020
Conditional Bisimilarity for Reactive Systems
Reactive systems à la Leifer and Milner, an abstract categorical framewo...
research
∙
03/19/2020
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations
Systems of fixpoint equations over complete lattices, consisting of (mix...
research
∙
02/26/2020
Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas
Behavioural equivalences can be characterized via bisimulation, modal lo...
research
∙
05/31/2019
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic
The fuzzy modality `probably` is interpreted over probabilistic type spa...
research
∙
02/13/2019
Rewriting Abstract Structures: Materialization Explained Categorically
The paper develops an abstract (over-approximating) semantics for double...
research
∙
10/26/2018
Fixpoint Games on Continuous Lattices
Many analysis and verifications tasks, such as static program analyses a...
research
∙
10/10/2018
A van Benthem Theorem for Quantitative Probabilistic Modal Logic
In probabilistic transition systems, behavioural metrics provide a more ...
research
∙
06/29/2018
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks
The paper extends Bayesian networks (BNs) by a mechanism for dynamic cha...
research
∙
06/28/2018
Up-To Techniques for Behavioural Metrics via Fibrations
Up-to techniques are a well-known method for enhancing coinductive proof...
research
∙
02/01/2018
A van Benthem Theorem for Fuzzy Modal Logic
We present a fuzzy (or quantitative) version of the van Benthem theorem,...
research
∙
12/20/2017