Concepedia

Livia Lestingi

LL

Statistics

Publications

6

Citations

83

H-Index

6

Active since

2021

Affiliations

Politecnico di Milano(Current)

McMaster University

Livia Lestingi is an author at Politecnico di Milano specializing in robotics, computer science, and engineering.

Publications per year

2021–2023

6

Publications

6

Specification, stochastic modeling and analysis of interactive service robotic applications

Livia Lestingi, Davide Zerla, Marcello M. Bersani et al. · Robotics and Autonomous Systems · 2023 · 21 citations · Full text

Engineering, Robotics Engineering, Systems Engineering +17

Formally-based Model-Driven Development of Collaborative Robotic Applications

Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni et al. · Journal of Intelligent & Robotic Systems · 2021 · 16 citations · Full text

Engineering, Robotics Engineering, Systems Engineering +17

A Deployment Framework for Formally Verified Human-Robot Interactions

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani et al. · IEEE Access · 2021 · 12 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Formal modeling and verification of multi-robot interactive scenarios in service settings

Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino et al. · 2022 · 12 citations · Full text

Engineering, Computer Science, Systems Engineering +16

Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior

Livia Lestingi, Marcello M. Bersani, Matteo Rossi · IEEE Intelligent Systems · 2022 · 11 citations · Full text

Engineering, Computer Science, Robotics Engineering +17

1–5 of 6