Christina Mika-Michalski | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Lutz Schröder
40 publications
Barbara König
21 publications
Paolo Baldan
9 publications
Tommaso Padoan
5 publications

research

∙ 02/26/2020

Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas

Behavioural equivalences can be characterized via bisimulation, modal lo...

0 Barbara König, et al. ∙

research

∙ 10/26/2018

Fixpoint Games on Continuous Lattices

Many analysis and verifications tasks, such as static program analyses a...

0 Paolo Baldan, et al. ∙