Algorithmic (Semi-)Conjugacy via Koopman Operator Theory | IEEE Conference Publication | IEEE Xplore