Charting the trade-off between design complexity and plan execution under probabilistic actions | IEEE Conference Publication | IEEE Xplore