• 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
X (Twitter): https://x.com/livia_lestingi
GitHub: https://github.com/LesLivia
Research interests:Robotics, Human-Robot Interaction, Formal Methods,

Contributions

2024

FormaliSE

  • Author of Towards Verifiable Multi-Agent Interaction Pattern Specification within the FormaliSE 2024-track
  • Committee Member in Artifact Evaluation Committee within the FormaliSE 2024-track

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

  • 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
xSun 13 Jul 04:18
using conf.researchr.org (v1.69.1)
Support page
Sign Up