Action and State Based Computation Tree Measurement Language and Algorithms

DOI10.1007/978-3-319-99154-2_12MaRDI QIDQ6104809zbMATH OpenOpenAlexFDO

Authors Yaping Jing

Publication date 28 June 2023

Published in Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99154-2_12

zbMATH Keywords

Markov chainperformance measuresprobabilistic model checking

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Computation tree measurement language (CTML)
• Extended computation tree logic
• Quantified computation tree logic
• scientific article; zbMATH DE number 1670870
• Min-max Computation Tree Logic

Cites work

• A decomposition approach for stochastic reward net models
• A logic for reasoning about time and reliability
• scientific article; zbMATH DE number 1670870 (Why is no real title available?)
• scientific article; zbMATH DE number 420915 (Why is no real title available?)
• scientific article; zbMATH DE number 3145626 (Why is no real title available?)
• scientific article; zbMATH DE number 3680123 (Why is no real title available?)
• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• scientific article; zbMATH DE number 2079828 (Why is no real title available?)
• scientific article; zbMATH DE number 2196601 (Why is no real title available?)
• Probabilistic verification of Herman's self-stabilisation algorithm
• State-space support for path-based reward variables
• The complexity of probabilistic verification
• The temporal semantics of concurrent programs

Cited in

(2)

• Computation tree measurement language (CTML)
• Measure Properties of Game Tree Languages

This page was built for publication: Action and State Based Computation Tree Measurement Language and Algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6104809)