Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work

Norihiro Kamide, Juan Bernal

2019

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.

Paper Citation

in Harvard Style

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

in Bibtex Style

@conference{icaart19,
author={Norihiro Kamide and Juan 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},
}

in EndNote Style

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