( en | de | ru )

 

Disambiguation of "Lestingi, Livia"

Author of the publication

copydeleteadd this publication to your clipboard
Architecting Explainable Service Robots.

, , , , , and . ECSA, volume 14212 of Lecture Notes in Computer Science, page 153-169. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Livia Wissing

Livia Schäffler

Livia Stucke

Livia Katz

Livia Burkhardt

 

Other publications of authors with the same name

Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper).. FMTea, volume 13122 of Lecture Notes in Computer Science, page 75-83. Springer, (2021)Architecting Explainable Service Robots., , , , , and . ECSA, volume 14212 of Lecture Notes in Computer Science, page 153-169. Springer, (2023)Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning., , , , and . FormaliSE, page 18-28. IEEE, (2023)Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications., , , , and . ICHMS, page 1-6. IEEE, (2020)Formal Verification of Human-Robot Interaction in Healthcare Scenarios., , , and . SEFM, volume 12310 of Lecture Notes in Computer Science, page 303-324. Springer, (2020)Model-driven development of formally verified human-robot interactions. Polytechnic University of Milan, Italy, (2023)A Deployment Framework for Formally Verified Human-Robot Interactions., , , and . IEEE Access, (2021)Towards Better Trust in Human-Machine Teaming through Explainable Dependability., , , , , and . ICSA-C, page 86-90. IEEE, (2023)Towards Verifiable Multi-Agent Interaction Pattern Specification., , and . FormaliSE@ICSE, page 122-126. ACM, (2024)Formally-based Model-Driven Development of Collaborative Robotic Applications., , , , , and . J. Intell. Robotic Syst., 102 (3): 59 (2021)