Giuseppe Cicala | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred