LESTINGI, LIVIA

LESTINGI, LIVIA  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.048 secondi).
Titolo Data di pubblicazione Autori File
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 1-gen-2020 L. LestingiM. AskarpourM. M. BersaniM. G. Rossi
Architecting Explainable Service Robots 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo
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
Model-Driven Development of Formally Verified Human-Robot Interactions 1-gen-2021 Livia Lestingi
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
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
Towards Verifiable Multi-Agent Interaction Pattern Specification 1-gen-2024 Tagliaferro, AlbertoLestingi, LiviaRossi, Matteo