loading
Documents

Research.Publish.Connect.

Paper

Authors: Norihiro Kamide 1 and Juan Bernal 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 Panamerican University, Faculty of Engineering, Department of Electronic Engineering and Digital Systems, Josemaria Escriva de Balaguer No. 101, CP. 20190 Aguascalientes, Aguascalientes, Mexico

ISBN: 978-989-758-350-6

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

Abstract: A locative inconsistency-tolerant hierarchical probabilistic computation tree logic (LIHpCTL) is introduced in this paper to establish the logical foundation of a new model checking paradigm. This logic is an extension of several previously proposed extensions of the standard temporal logic known as CTL, which is widely used for model checking. The extended model checking paradigm proposed is intended to appropriately verify locative (spatial), inconsistent, hierarchical, probabilistic (randomized), and time-dependent concurrent systems. Additionally, a survey of various studies on probabilistic, inconsistency-tolerant, and hierarchical temporal logics and their applications in model checking is conducted.

PDF ImageFull Text

Download
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 35.172.100.232

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 Bernal, J. (2019). Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work.In Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-350-6, pages 869-878. DOI: 10.5220/0007683808690878

@conference{icaart19,
author={Norihiro Kamide. and Juan Pedro Altamirano Bernal.},
title={Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work},
booktitle={Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2019},
pages={869-878},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007683808690878},
isbn={978-989-758-350-6},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work
SN - 978-989-758-350-6
AU - Kamide, N.
AU - Bernal, J.
PY - 2019
SP - 869
EP - 878
DO - 10.5220/0007683808690878

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.