Baharisangari, Nasim
- Learning Interpretable Temporal Properties from Positive Examples Only
2022/09/06 by Roy, Rajarshi, Gaglione, Jean-Raphaël, Baharisangari, Nasim +3 · 2 citations
#Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.6 #Logic in Computer Science (cs.LO)
- Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
2023/06/23 by Yash Paliwal, Rajarshi Roy, Paliwal, Yash +13 · 1 citation
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Optimization and Search Problems