LESTINGI, LIVIA

LESTINGI, LIVIA  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autori File
A Deployment Framework for Formally Verified Human-Robot Interactions 1-gen-2021 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo Giovanni
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 1-gen-2020 L. LestingiM. AskarpourM. M. BersaniM. G. Rossi
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 1-gen-2022 Livia LestingiCristian SbrolliPasquale ScarmozzinoGiorgio RomeoMarcello M. BersaniMatteo Rossi
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 1-gen-2020 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo
Formally-based Model-Driven Development of Collaborative Robotic Applications 1-gen-2021 Askarpour, MehrnooshLestingi, LiviaIannacci, NiccolòRossi, MatteoVicentini, Federico +
Model-Driven Development of Formally Verified Human-Robot Interactions 1-gen-2021 Livia Lestingi
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 1-gen-2022 Lestingi L.Bersani M. M.Rossi M.
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 1-gen-2020 Askarpour, MehrnooshLestingi, LiviaRossi, Matteo GiovanniVicentini, Federico +
Statistical Model Checking of Human-Robot Interaction Scenarios 1-gen-2020 Lestingi, LiviaAskarpour, MehrnooshMarcello M. BersaniRossi, Matteo
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) 1-gen-2021 Lestingi, Livia