Livia Lestingi

Orcid: 0000-0001-8724-1541

Affiliations:
  • Polytechnic University of Milan, Italy


According to our database1, Livia Lestingi authored at least 18 papers between 2020 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models.
CoRR, January, 2025

2024
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.
Softw. Syst. Model., April, 2024

Towards Verifiable Multi-Agent Interaction Pattern Specification.
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023
Specification, stochastic modeling and analysis of interactive service robotic applications.
Robotics Auton. Syst., May, 2023

Model-driven development of formally verified human-robot interactions
PhD thesis, 2023

A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Towards Better Trust in Human-Machine Teaming through Explainable Dependability.
Proceedings of the 20th International Conference on Software Architecture, 2023

Architecting Explainable Service Robots.
Proceedings of the Software Architecture - 17th European Conference, 2023

2022
Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior.
IEEE Intell. Syst., 2022

Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.
Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021
Formally-based Model-Driven Development of Collaborative Robotic Applications.
J. Intell. Robotic Syst., 2021

A Deployment Framework for Formally Verified Human-Robot Interactions.
IEEE Access, 2021

Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper).
Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

2020
Statistical Model Checking of Human-Robot Interaction Scenarios.
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Formal Verification of Human-Robot Interaction in Healthcare Scenarios.
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications.
Proceedings of the IEEE International Conference on Human-Machine Systems, 2020


  Loading...