There is a newer version of the record available.

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".

Files

formalise2023_package.zip

Files (305.9 kB)

Name Size Download all
md5:bd6f7d18844a0d293587b65a32e5312a
305.9 kB Preview Download