Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422323 | Electronic Notes in Theoretical Computer Science | 2008 | 17 Pages |
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