Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work. - Norihiro Kamide; Juan Pedro Altamirano Bernal (ICAART (2), 2019)