Marcello M. Bersani | DeepAI

DeepAI

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

Featured Co-authors

Matteo Rossi
8 publications
Mehrnoosh Askarpour
7 publications
Pierluigi San Pietro
3 publications
Livia Lestingi
1 publication
Robert L. Smith
1 publication

research

∙ 04/26/2021

Improved Bounded Model Checking of Timed Automata

Timed Automata (TA) are a very popular modeling formalism for systems wi...

0 Robert L. Smith, et al. ∙

research

∙ 07/23/2020

Statistical Model Checking of Human-Robot Interaction Scenarios

Robots are soon going to be deployed in non-industrial environments. Bef...

0 Livia Lestingi, et al. ∙