Motion planning in dynamic environments with bounded time temporal logic specifications | IEEE Conference Publication | IEEE Xplore