Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work
Journal
Proceedings of the 11th International Conference on Agents and Artificial Intelligence
Date Issued
2019
Author(s)
Norihiro Kamide
Juan Bernal
Type
text::conference output::conference proceedings::conference paper