Multi-Objective Model Checking of Markov Decision Processes (2007)

First Author: Etessami K
Attributed to:  Automated quantitative software verification with PRISM funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proc. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07)