- Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
2021/04/30 by Jean-Raphaël Gaglione, Gaglione, Jean-Raphaël, Daniel Neider +7 · 2 citations
Computer Science · #Advanced Database Systems and Queries #Algorithm #Artificial Intelligence (cs.AI) #Artificial intelligence #Boolean function #Computer science #Decision tree #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Inference #Linear temporal logic #Logic, programming, and type systems #Machine Learning (cs.LG) #Maximum satisfiability problem #Noise (video) #Satisfiability #Synthetic data #Theoretical computer science #cs.AI #cs.FL #cs.LG