Context-Aware Temporal Logic for Probabilistic Systems

DOI10.1007/978-3-030-59152-6_12MaRDI QIDQ6485870zbMATH OpenFDO

Authors Mahmoud Elfar, Yu Wang, Miroslav Pajic

Publication date 22 December 2022

Published in 1517.68232 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-59152-6_12

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Artificial intelligence for robotics (68T40) Markov and semi-Markov decision processes (90C40)

Recommendations

• Probabilistic propositional temporal logics
• Probabilistic \(\mathrm{CTL}^*\): the deductive way
• Time window temporal logic
• scientific article; zbMATH DE number 1330140
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

Cited in

(3)

• Stochastic temporal logic abstractions: challenges and opportunities
• Time window temporal logic
• scientific article; zbMATH DE number 7319046 (Why is no real title available?)

This page was built for publication: Context-Aware Temporal Logic for Probabilistic Systems

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