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

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

Published in: CoRR (2021)

Keyphrases

noisy data
noise tolerant
temporal properties
learning algorithm
data sets
neural network
pattern recognition
control system
knowledge acquisition
noise free