Soroka, Emi
- Learning Temporal Logic Predicates from Data with Statistical Guarantees
2024/06/15 by Soroka, Emi, Sinha, Rohan, Lall, Sanjay · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)