Author of the publication

A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems.

, , , and . SAFECOMP, volume 11698 of Lecture Notes in Computer Science, page 165-179. Springer, (2019)

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

Using unstructured data to improve the continuous planning of critical processes involving humans., , , and . SEAMS@ICSE, page 25-31. ACM, (2019)Inventory models with lateral transshipments: A review., , , and . Eur. J. Oper. Res., 210 (2): 125-136 (2011)Efficient Parametric Model Checking Using Domain Knowledge., , and . CoRR, (2018)Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings., , , , , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 197-212. Springer, (2020)Mitigating Risk in Neural Network Classifiers., , and . SEAA, page 370-373. IEEE, (2022)Detection and Mitigation of Rare Subclasses in Neural Network Classifiers., and . CoRR, (2019)Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers., , and . AITest, page 9-16. IEEE, (2021)Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability., , , , and . KES-IDT, volume 309 of Smart Innovation, Systems and Technologies, page 87-97. Springer, (2022)Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration., , , , , , , and . CoRR, (2021)Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents., , , , , and . CoRR, (2023)