Fei Pu, Wenhui Zhang. Bounded Correctness Checking of the Universal Fragment of eCTL. In Antonio J. Tallón-Ballesteros, Kaicheng Li, editors, Fuzzy Systems and Data Mining III - Proceedings of FSDM 2017 [Hualien, Taiwan, November 2017]. Volume 299 of Frontiers in Artificial Intelligence and Applications, pages 326-333, IOS Press, 2017. [doi]
Abstract is missing.