Article ID Journal Published Year Pages File Type
422323 Electronic Notes in Theoretical Computer Science 2008 17 Pages PDF
Abstract

This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics