• Sign in
  • Sign up
conf.researchr.org / Livia Lestingi
  • ECSA 2023 profile
  • ICSE 2022 profile
  • ICSE 2023 profile
  • ICSE 2024 profile
Livia Lestingi

Registered user since Wed 9 Mar 2022

Name:Livia Lestingi
Country:Italy
Affiliation:DEIB, Politecnico di Milano
Personal website: https://www.deib.polimi.it/eng/people/details/834948
Twitter: https://twitter.com/livia_lestingi
GitHub: https://github.com/LesLivia
Research interests:Robotics, Human-Robot Interaction, Formal Methods,

Contributions

2024

International Conference on Software Engineering for Adaptive and Self-Managing Systems

  • Committee Member in Program Committee within the Research Track-track
  • Social Media Co-Chair in Organizing Committee

2023

FormaliSE

  • Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track
  • Author of Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning within the FormaliSE 2023-track

ECSA

  • Author of Architecting Explainable Service Robots within the Research Papers-track

2022

FormaliSE

  • Author of Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings within the FormaliSE 2022-track
  • Virtualisation Chair in General Chairs within the FormaliSE 2022-track
  • Session Chair of Session 2 (part of FormaliSE 2022)
Share
xThu 21 Sep 18:36
using conf.researchr.org (v1.62.0)
Support page
Sign Up