Exploratory practice in digital theatre: definitions, classifications, production logic, and challenges | IEEE Conference Publication | IEEE Xplore