Optimal temporal logic planning with cascading soft constraints | IEEE Conference Publication | IEEE Xplore