Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista. Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. In Ayoub Nouri, Weimin Wu, Kamel Barkaoui, Zhiwu Li, editors, Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers. Volume 13187 of Lecture Notes in Computer Science, pages 27-42, Springer, 2021. [doi]
Abstract is missing.