Author of the publication

Explanations for human-on-the-loop: a probabilistic model checking approach.

, , , and . SEAMS@ICSE, page 181-187. ACM, (2020)

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.

 

Other publications of authors with the same name

Hey! Preparing Humans to do Tasks in Self-adaptive Systems., , , , and . SEAMS@ICSE, page 48-58. IEEE, (2021)User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences., , , , and . CoRR, (2024)On early statistical requirements validation of cyber-physical space systems., , , , and . SEsCPS@ICSE, page 13-18. ACM, (2018)Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach., , , , and . QRS, page 67-74. IEEE, (2018)Explanations for human-on-the-loop: a probabilistic model checking approach., , , and . SEAMS@ICSE, page 181-187. ACM, (2020)Modeling and Analysis of Explanation for Secure Industrial Control Systems., , , and . ACM Trans. Auton. Adapt. Syst., 17 (3-4): 1-26 (December 2022)Preference Adaptation: user satisfaction is all you need!, , , , and . SEAMS, page 133-144. IEEE, (2023)Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis., , , , , , and . ACSOS-C, page 27-28. IEEE, (2023)A Conceptual Model of Self-Adaptive Systems based on Attribution Theory., , , and . CogSci, page 657-663. cognitivesciencesociety.org, (2019)Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems., , , and . ACSOS, page 195-204. IEEE, (2020)