Souradeep Dutta

From MaRDI portal
Person:1796496

Available identifiers

zbMath Open dutta.souradeepMaRDI QIDQ1796496

List of research outcomes





PublicationDate of PublicationType
Reachability analysis for neural feedback systems using regressive polynomial rule inference2019-10-22Paper
Sherlock - A tool for verification of neural network feedback systems2019-10-22Paper
Reaching out towards fully verified autonomous systems2019-10-22Paper
Robust data-driven control of artificial pancreas systems using neural networks2018-10-17Paper

Research outcomes over time

This page was built for person: Souradeep Dutta

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1796496&oldid=6394647"
Powered by MediaWiki