Giuseppe Cicala | DeepAI

DeepAI

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

Featured Co-authors

Lorenzo Natale
40 publications
Michele Colledanchise
16 publications
Armando Tacchella
11 publications
Daniele E. Domenichelli
2 publications

research

∙ 06/29/2021

A Toolchain to Design, Execute, and Monitor Robots Behaviors

In this paper, we present a toolchain to design, execute, and verify rob...

0 Michele Colledanchise, et al. ∙

research

∙ 06/23/2021

Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies

Our research aims to enable automated property verification of deliberat...

0 Michele Colledanchise, et al. ∙