Detta dokument behandlar QLtl, en kvantitativ analagon av Ltl och presenterar algoritmer för modellkontroll av QLtl över kvantitativa versioner av Kripke strukturer och Markov kedjor.
I REF presenterar författarna QLTL, en kvantitativ analog av LTL och presenterar algoritmer för modellkontroll över kvantitativa versioner av Kripke strukturer och Markov kedjor.
Model checking Quantitative Linear Time Logic
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}