scientific article; zbMATH DE number 7319046

zbMATH Open1457.68171arXiv1111.3111MaRDI QIDQ4965871FDOQ4965871

Authors: Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki 

Publication date: 10 March 2021

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (3)

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

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)