related documents Specification revision for Markov decision processes with optimal trade-off Conference Proceeding
