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

Norihiro Kamide, Juan Pedro Altamirano Bernal

Browse the full ICAART paper archive.