Model checking of reachability problems based on generalized possibility measures

MaRDI QIDQ3194065zbMATH OpenFDO

Authors Zhanyou Ma, Yongming Li

Publication date 28 October 2015

zbMATH Keywords

generalized possibility measureKripke structuremodel checkingreachability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Quantitative model checking of linear-time properties based on generalized possibility measures
• scientific article; zbMATH DE number 6454071
• Computation tree logic model checking based on possibility measures
• scientific article; zbMATH DE number 1759610
• Fixed-point semantics of computation tree logic based on generalized possibility measures

Cited in

(4)

• Quantitative model checking of linear-time properties based on generalized possibility measures
• Probabilistic black-box reachability checking (extended version)
• Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler
• scientific article; zbMATH DE number 6719346 (Why is no real title available?)

This page was built for publication: Model checking of reachability problems based on generalized possibility measures

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