scientific article; zbMATH DE number 7319046

MaRDI QIDQ4965871zbMATHFDO

Authors Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1111.3111

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Probabilistic Temporal Logics
• scientific article; zbMATH DE number 1929309
• Probabilistic temporal logics via the modal mu-calculus
• scientific article; zbMATH DE number 1330140
• Combined model checking for temporal, probabilistic, and real-time logics
• Probabilistic propositional temporal logics
• A decidable probability logic for timed probabilistic systems
• Temporalization of Probabilistic Propositional Logic
• Context-Aware Temporal Logic for Probabilistic Systems

Cited in

(3)

• On frequency LTL in probabilistic systems
• On-the-fly model checking for extended action-based probabilistic operators
• Generalized possibility computation tree logic with frequency and its model checking

This page was built for publication:

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