Depth Motion Detection—A Novel RS-Trigger Temporal Logic based Method | IEEE Journals & Magazine | IEEE Xplore