Published January 27, 2023 | Version 1.0
Dataset Open

[Replication package] Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning

Authors/Creators

Description

Anonymized replication package of submission #1917: "Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning".

See README.md for further instructions.

Files

formalise2023_package.zip

Files (306.2 kB)

Name Size Download all
md5:c08b6a45b0ef161d456854b909437f21
306.2 kB Preview Download