External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations

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]

Authors

Norihiro Kamide

This author has not been identified. Look up 'Norihiro Kamide' in Google

Yuki Yano

This author has not been identified. Look up 'Yuki Yano' in Google
runs on