Ritam Raha
- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
2021/10/13 by Ritam Raha, Raha, Ritam, Rajarshi Roy +5 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Machine Learning (cs.LG)