Efficient teacher-student architectures for Human Activity Recognition via soft labels and binarization