Raha, Ritam

1. Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
   2021/10/13 by Ritam Raha, Rajarshi Roy, Raha, Ritam +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)
2. Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
   2023/10/26 by Raha, Ritam, Roy, Rajarshi, Fijalkow, Nathanael +2 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)