On probabilistic computation tree logic

被引：0
|
作者：
Ciesinski, R [1 ]
Grösser, M [1 ]
机构：
[1] Univ Bonn, Inst Informat, Abt 1, D-53117 Bonn, Germany
来源：
VALIDATION OF STOCHASTIC SYSTEMS: A GUIDE TO CURRENT RESEARCH | 2004年 / 2925卷
关键词：
PCTL; PCTL*; discrete time Markov chains; Markov decision processes; scheduler; fairness; probabilistic deterministic systems; probabilistic nondeterministic systems; quantitative model checking;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this survey we motivate, define and explain model checking of probabilistic deterministic and nondeterministic systems using the probabilistic computation tree logics PCTL and PCTL*. Juxtapositions to non-deterministic computation tree logic are made and algorithms are presented.
引用
收藏
页码：147 / 188
页数：42
相关论文
共 50 条
  • [1] Exogenous Probabilistic Computation Tree Logic
    Baltazar, Pedro
    Mateus, Paulo
    Nagarajan, Rajagopal
    Papanikolaou, Nikolaos
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (03) : 95 - 110
  • [2] Bounded model checking for probabilistic computation tree logic
    Zhou, Cong-Hua
    Liu, Zhi-Feng
    Wang, Chang-Da
    Ruan Jian Xue Bao/Journal of Software, 2012, 23 (07): : 1656 - 1668
  • [3] Polytime model checking for timed probabilistic computation tree logic
    Beauquier, D
    Slissenko, A
    ACTA INFORMATICA, 1998, 35 (08) : 645 - 664
  • [4] Polytime model checking for timed probabilistic computation tree logic
    Danièle Beauquier
    Anatol Slissenko
    Acta Informatica, 1998, 35 : 645 - 664
  • [5] On finite-state approximants for probabilistic computation tree logic
    Huth, M
    THEORETICAL COMPUTER SCIENCE, 2005, 346 (01) : 113 - 134
  • [6] Safe Reinforcement Learning via Probabilistic Timed Computation Tree Logic
    Qian, Li
    Liu, Jing
    2020 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2020,
  • [7] Robust computation tree logic
    Nayak, Satya Prakash
    Neider, Daniel
    Roy, Rajarshi
    Zimmermann, Martin
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2024,
  • [8] Paraconsistent Computation Tree Logic
    Kaneiwa, Ken
    Kamide, Norihiro
    NEW GENERATION COMPUTING, 2011, 29 (04) : 391 - 408
  • [9] Quantified computation tree logic
    Patthak, AC
    Bhattacharya, I
    Dasgupta, A
    Dasgupta, P
    Chakrabarti, PP
    INFORMATION PROCESSING LETTERS, 2002, 82 (03) : 123 - 129
  • [10] Paraconsistent Computation Tree Logic
    Ken Kaneiwa
    Norihiro Kamide
    New Generation Computing, 2011, 29 (4) : 391 - 408
12345