LESTINGI, LIVIA
LESTINGI, LIVIA
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Deployment Framework for Formally Verified Human-Robot Interactions
2021-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, L.; Askarpour, M.; Bersani, M. M.; Rossi, M. G.
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
2022-01-01 Lestingi, Livia; Sbrolli, Cristian; Scarmozzino, Pasquale; Romeo, Giorgio; Bersani, Marcello M.; Rossi, MATTEO GIOVANNI
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Formally-based Model-Driven Development of Collaborative Robotic Applications
2021-01-01 Askarpour, Mehrnoosh; Lestingi, Livia; Longoni, Samuele; Iannacci, Niccolò; Rossi, Matteo; Vicentini, Federico
Model-Driven Development of Formally Verified Human-Robot Interactions
2021-01-01 Lestingi, Livia
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior
2022-01-01 Lestingi, L.; Bersani, M. M.; Rossi, M.
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications
2020-01-01 Askarpour, Mehrnoosh; Lestingi, Livia; Buran, Federico; Rossi, Matteo Giovanni; Vicentini, Federico
Statistical Model Checking of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)
2021-01-01 Lestingi, Livia