Probabilistic CTL^*: the deductive way

DOI10.1007/978-3-662-49674-9_16MaRDI QIDQ2272920zbMATH OpenOpenAlexFDO

Authors Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar

Publication date 17 September 2019

Full work available at URL https://doi.org/10.1007/978-3-662-49674-9_16

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1927551
• Model checking of probabilistic and nondeterministic systems
• Validation of Stochastic Systems
• A Sound and Complete Deductive System for CTL* Verification
• Model checking probabilistic systems

Cited in

(5)

• Deductive verification of simple foraging robotic behaviours
• scientific article; zbMATH DE number 1927551 (Why is no real title available?)
• A Sound and Complete Deductive System for CTL* Verification
• Context-Aware Temporal Logic for Probabilistic Systems
• Finite-time safety and reach-avoid verification of stochastic discrete-time systems

This page was built for publication: Probabilistic \(\mathrm{CTL}^*\): the deductive way

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