衰退的地平线时间逻辑规划| IEEE杂志| IEEE Xplore