LESTINGI, LIVIA

LESTINGI, LIVIA  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.037 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 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
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 1-gen-2024 Lestingi, LiviaManglaviti, AndreaMarinaro, DavideAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo +
Architecting Explainable Service Robots 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 1-gen-2024 Lestingi, LiviaFrigerio, NiclaBersani, Marcello M.Matta, AndreaRossi, 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
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 Development of Formally Verified Human-Robot Interactions 1-gen-2024 Lestingi, Livia
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 1-gen-2020 Askarpour, MehrnooshLestingi, LiviaRossi, Matteo GiovanniVicentini, Federico +
Specification, stochastic modeling and analysis of interactive service robotic applications 1-gen-2023 Lestingi, LiviaBersani, Marcello M.Rossi, Matteo +
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
Verification-Oriented Specification of Multi-agent Interaction Patterns 1-gen-2024 A. TagliaferroL. LestingiM. Rossi