Mehran Moeini Jam, Hamed Kalantari, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar 0001. Compositional Verification of Timed Automata via Violation Assumptions. In Eva Darulova, Anthony W. Lin, Philipp Rümmer, editors, Computer Aided Verification - 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II. Volume 16683 of Lecture Notes in Computer Science, pages 331-355, Springer, 2026. [doi]
Abstract is missing.