Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy 0002, Ufuk Topcu, Zhe Xu 0005. Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. In Zhe Hou, Vijay Ganesh, editors, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings. Volume 12971 of Lecture Notes in Computer Science, pages 74-90, Springer, 2021. [doi]

This author has not been identified. Look up 'Jean-Raphaël Gaglione' in GoogleThis author has not been identified. Look up 'Daniel Neider' in GoogleThis author has not been identified. Look up 'Rajarshi Roy 0002' in GoogleThis author has not been identified. Look up 'Ufuk Topcu' in GoogleThis author has not been identified. Look up 'Zhe Xu 0005' in Google

runs on WebDSL