Gupta, Ashutosh

1. Model Checking Gene Regulatory Networks
   2014/10/28 by Giacobbe, Mirco, Guet, Calin C., Gupta, Ashutosh +3 · 1 citation
   #Computational Engineering #FOS: Biological sciences #FOS: Computer and information sciences #Finance #Logic in Computer Science (cs.LO) #Molecular Networks (q-bio.MN) #and Science (cs.CE)
2. Learning Decentralized Multi-Biped Control for Payload Transport
   2024/06/25 by Pandit, Bikram, Gupta, Ashutosh, Gadde, Mohitvishnu S. +5 · 3 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robotics (cs.RO)
3. Diffy: Inductive Reasoning of Array Programs using Difference Invariants
   2021/05/31 by Chakraborty, Supratik, Gupta, Ashutosh, Unadkat, Divyesh · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)
4. Efficient and Generic Interactive Segmentation Framework to Correct\n Mispredictions during Clinical Evaluation of Medical Images
   2021/08/06 by Bhavani Sambaturu, Sambaturu, Bhavani, Ashutosh Gupta +5 · 1 citation
   Computer Science · Medicine · #49-06 (Primary) #49-11(Secondary) #AI in cancer detection #COVID-19 diagnosis using AI #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #I.4.6 #I.5.1 #Radiomics and Machine Learning in Medical Imaging