LTL robot motion control based on automata learning of environmental dynamics | IEEE Conference Publication | IEEE Xplore