Livia Lestingi

Livia Lestingi

Politecnico di Milano - Milano / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 5984705
Polytechnic University of Milan
person_outline Livia Lestingi's MOST POPULAR ARTICLES
1-) Formal verification of human-robot interaction in healthcare scenariosL Lestingi, M Askarpour, MM Bersani, M RossiSoftware Engineering and Formal Methods: 18th International Conference, SEFM …, 2020242020
2-) Specification, stochastic modeling and analysis of interactive service robotic applicationsL Lestingi, D Zerla, MM Bersani, M RossiRobotics and Autonomous Systems 163, 104387, 2023152023
3-) Formally-based model-driven development of collaborative robotic applicationsM Askarpour, L Lestingi, S Longoni, N Iannacci, M Rossi, F VicentiniJournal of Intelligent & Robotic Systems 102 (3), 59, 2021142021
4-) A Deployment Framework for Formally Verified Human-Robot InteractionsL Lestingi, M Askarpour, MM Bersani, M RossiIEEE Access 9, 136616-136635, 2021132021
5-) A Model-driven Approach for the Formal Analysis of Human-Robot Interaction ScenariosL Lestingi, M Askarpour, MM Bersani, M Rossi2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2020132020