Omar Inverso | DeepAI

DeepAI

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

Featured Co-authors

Emilio Tuosto
14 publications
Luca Padovani
12 publications
Hernán Melgratti
9 publications
Catia Trubiani
7 publications
Rocco De Nicola
7 publications
Luca Di Stefano
2 publications

research

∙ 07/23/2020

Probabilistic Analysis of Binary Sessions

We study a probabilistic variant of binary session types that relate to ...

0 Omar Inverso, et al. ∙

research

∙ 04/22/2018

Towards formal models and languages for verifiable Multi-Robot Systems

Incorrect operations of a Multi-Robot System (MRS) may not only lead to ...

0 Rocco De Nicola, et al. ∙