Constructing an automaton for exploring dynamic labyrinths | IEEE Conference Publication | IEEE Xplore