Tanmay Khandait, Giulia Pedrielli. HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems. In Erika Ábrahám, Houssam Abbas, editors, Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings. Volume 15191 of Lecture Notes in Computer Science, pages 89-106, Springer, 2024. [doi]
Abstract is missing.