Daniela Petrişan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music AI Voice Chat

Featured Co-authors

Barbara König
21 publications
Filippo Bonchi
20 publications
Thomas Colcombet
8 publications
Alexandre Goy
5 publications

research

∙ 10/02/2020

Combining Weak Distributive Laws: Application to Up-To Techniques

The coalgebraic modelling of alternating automata and of probabilistic a...

0 Alexandre Goy, et al. ∙

research

∙ 06/28/2018

Up-To Techniques for Behavioural Metrics via Fibrations

Up-to techniques are a well-known method for enhancing coinductive proof...

0 Filippo Bonchi, et al. ∙

research

∙ 12/19/2017

Automata Minimization: a Functorial Approach

In this paper we regard languages and their acceptors - such as determin...

0 Thomas Colcombet, et al. ∙