Cost-Optimal Control of Markov Decision Processes Under Signal Temporal Logic Constraints | IEEE Conference Publication | IEEE Xplore