PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dutta, Souradeep"

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

, , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 103-119. EasyChair, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Dutta, Souradeep
add a person with the name Dutta, Souradeep
 

Other publications of authors with the same name

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks., , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 151-156. Elsevier, (2018)Output Range Analysis for Deep Feedforward Neural Networks., , , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 121-138. Springer, (2018)Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks., , and . ICAPS, page 680-688. AAAI Press, (2019)Reachability analysis for neural feedback systems using regressive polynomial rule inference., , and . HSCC, page 157-168. ACM, (2019)Formal Verification of a Multi-Basal Insulin Infusion Control Model., , and . ARCH@CPSWeek, volume 48 of EPiC Series in Computing, page 75-91. EasyChair, (2017)Output Range Analysis for Deep Neural Networks., , , and . CoRR, (2017)Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks., , and . CMSB, volume 11095 of Lecture Notes in Computer Science, page 183-202. Springer, (2018)Multirate Sampling for Power-Performance Tradeoff in Embedded Control., , , and . Embedded Systems Letters, 8 (4): 77-80 (2016)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 103-119. EasyChair, (2019)Reaching Out Towards Fully Verified Autonomous Systems., , and . RP, volume 11674 of Lecture Notes in Computer Science, page 22-32. Springer, (2019)