Norihiro Kamide, Yuki Yano. Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations. In Ana Paula Rocha 0001, Luc Steels, Jaap van den Herik, editors, Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, February 19-21, 2019. pages 762-769, SciTePress, 2019. [doi]
@inproceedings{KamideY19,
title = {Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations},
author = {Norihiro Kamide and Yuki Yano},
year = {2019},
doi = {10.5220/0007456507620769},
url = {https://doi.org/10.5220/0007456507620769},
researchr = {https://researchr.org/publication/KamideY19},
cites = {0},
citedby = {0},
pages = {762-769},
booktitle = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, February 19-21, 2019},
editor = {Ana Paula Rocha 0001 and Luc Steels and Jaap van den Herik},
publisher = {SciTePress},
isbn = {978-989-758-350-6},
}