A branching time temporal framework for quantitative reasoning

DOI10.1023/A:1023217515688zbMath1023.68063OpenAlexW1816240867MaRDI QIDQ1810854

Krishnendu Chatterjee, Pallab Dasgupta, Partha Pratim Chakrabarti

Publication date: 9 June 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023217515688

zbMATH Keywords

computation tree logicquantitative reasoningtemporal logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A branching time temporal framework for quantitative reasoning