Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
Topics & Concepts
Computer scienceAlgorithmInferenceSatisfiabilityMaximum satisfiability problemDecision treeNoise (video)Linear temporal logicSynthetic dataArtificial intelligenceTheoretical computer scienceBoolean functionImage (mathematics)Formal Methods in VerificationAdvanced Database Systems and QueriesLogic, programming, and type systems