Rahmani, Kia

1. Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
   2024/05/22 by Banerjee, Arko, Rahmani, Kia, Biswas, Joydeep +1 · 5 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models\n and Component-based Synthesis
   2021/09/03 by Kia Rahmani, Mohammad Raza, Rahmani, Kia +13 · 1 citation
   Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software Engineering Techniques and Practices