Robust Signal Temporal Logic-based Planning for Uncertain External Events | IEEE Conference Publication | IEEE Xplore