Login / Signup

Multi-Objective Model Checking of Markov Decision Processes.

Kousha EtessamiMarta Z. KwiatkowskaMoshe Y. VardiMihalis Yannakakis
Published in: Log. Methods Comput. Sci. (2008)
Keyphrases