( en | de | ru )

 

Disambiguation of "Lestingi, Livia"

Author of the publication

copydeleteadd this publication to your clipboard
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.

, , , , and . FormaliSE, page 18-28. IEEE, (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

Specification, stochastic modeling and analysis of interactive service robotic applications., , , and . Robotics Auton. Syst., (May 2023)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)Formally-based Model-Driven Development of Collaborative Robotic Applications., , , , , and . J. Intell. Robotic Syst., 102 (3): 59 (2021)A Conceptual Framework for Explainability Requirements in Software-Intensive Systems., , , , , and . REW, page 309-315. IEEE, (2023)A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios., , , and . SMC, page 1907-1914. IEEE, (2020)Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings., , , , , and . FormaliSE@ICSE, page 80-90. ACM, (2022)Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning., , , , and . FormaliSE, page 18-28. IEEE, (2023)Statistical Model Checking of Human-Robot Interaction Scenarios., , , and . AREA@ECAI, volume 319 of EPTCS, page 9-17. (2020)Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications., , , , and . ICHMS, page 1-6. IEEE, (2020)