loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Norihiro Kamide 1 and Noriko Yamamoto 2

Affiliations: 1 Teikyo University, Faculty of Science and Engineering, Department of Information and Electronic Engineering, Toyosatodai 1-1, Utsunomiya-shi, Tochigi 320-8551, Japan ; 2 Teikyo University, Graduate School of Science and Engineering, Division of Information Science, Toyosatodai 1-1, Utsunomiya, Tochigi 320-8551, Japan

Keyword(s): Probabilistic Temporal Logic, Inconsistency-tolerant Temporal Logic, Hierarchical Temporal Logic, Probabilistic Model Checking, Inconsistency-tolerant Model Checking, Hierarchical Model Checking.

Abstract: An inconsistency-tolerant hierarchical probabilistic computation tree logic (IHpCTL) is developed to establish a new extended model checking paradigm referred to as IHpCTL model checking, which is intended to verify randomized, open, large, and complex concurrent systems. The proposed IHpCTL is constructed based on several previously established extensions of the standard probabilistic temporal logic known as probabilistic computation tree logic (pCTL), which is widely used for probabilistic model checking. IHpCTL is shown to be embeddable into pCTL and is relatively decidable with respect to pCTL. This means that the decidability of pCTL with certain probability measures implies the decidability of IHpCTL. The results indicate that we can effectively reuse the previously proposed pCTL model-checking algorithms for IHpCTL model checking.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.81.30.41

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Kamide, N. and Yamamoto, N. (2021). Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking. In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART; ISBN 978-989-758-484-8; ISSN 2184-433X, SciTePress, pages 490-499. DOI: 10.5220/0010181604900499

@conference{icaart21,
author={Norihiro Kamide. and Noriko Yamamoto.},
title={Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART},
year={2021},
pages={490-499},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010181604900499},
isbn={978-989-758-484-8},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART
TI - Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking
SN - 978-989-758-484-8
IS - 2184-433X
AU - Kamide, N.
AU - Yamamoto, N.
PY - 2021
SP - 490
EP - 499
DO - 10.5220/0010181604900499
PB - SciTePress