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.
In REF the authors present QLTL, a quantitative analogue of LTL and presents algorithms for model checking it over quantitative versions of Kripke structures and Markov chains.
Model checking Quantitative Linear Time Logic
Electron. Notes Theor. Comput. Sci.
Electron. Notes Theor. Comput. Sci.
Computer Science