Specification revision for Markov decision processes with optimal trade-off

Morteza Lahijanian, Marta Z. Kwiatkowska. Specification revision for Markov decision processes with optimal trade-off. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 7411-7418, IEEE, 2016. [doi]

Authors

Morteza Lahijanian

This author has not been identified. Look up 'Morteza Lahijanian' in Google

Marta Z. Kwiatkowska

This author has not been identified. Look up 'Marta Z. Kwiatkowska' in Google