Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach.

Jean-Raphaël Gaglione Daniel Neider Rajarshi Roy Ufuk Topcu Zhe Xu

Published in: ATVA (2021)

Keyphrases

noisy data
noise tolerant
temporal properties
learning algorithm
neural network
statistical queries