Synthesizing optimal control policies for Markov Decision Processes to maximize efficiency while ensuring surveillance tasks.
