Multi-objective Model Checking of Markov Decision Processes.

Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis

Browse the full TACAS paper archive.