BibTeX records: Souradeep Dutta

download as .bib file

@inproceedings{DBLP:conf/aips/ClaviereDS19,
  author    = {Arthur Clavi{\`{e}}re and
               Souradeep Dutta and
               Sriram Sankaranarayanan},
  title     = {Trajectory Tracking Control for Robotic Vehicles Using Counterexample
               Guided Training of Neural Networks},
  booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2018, Berkeley, CA, USA, July 11-15,
               2019.},
  pages     = {680--688},
  year      = {2019},
  crossref  = {DBLP:conf/aips/2019},
  url       = {https://aaai.org/ojs/index.php/ICAPS/article/view/3555},
  timestamp = {Thu, 12 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aips/ClaviereDS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/LopezMTDCIJ19,
  author    = {Diego Manzanas Lopez and
               Patrick Musau and
               Hoang{-}Dung Tran and
               Souradeep Dutta and
               Taylor J. Carpenter and
               Radoslav Ivanov and
               Taylor T. Johnson},
  title     = {{ARCH-COMP19} Category Report: Artificial Intelligence and Neural
               Network Control Systems {(AINNCS)} for Continuous and Hybrid Systems
               Plants},
  booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019.},
  pages     = {103--119},
  year      = {2019},
  crossref  = {DBLP:conf/cpsweek/2019arch},
  url       = {http://www.easychair.org/publications/paper/BFKs},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/LopezMTDCIJ19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DuttaCS19,
  author    = {Souradeep Dutta and
               Xin Chen and
               Sriram Sankaranarayanan},
  title     = {Reachability analysis for neural feedback systems using regressive
               polynomial rule inference},
  booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
               16-18, 2019.},
  pages     = {157--168},
  year      = {2019},
  crossref  = {DBLP:conf/hybrid/2019},
  url       = {https://doi.org/10.1145/3302504.3311807},
  doi       = {10.1145/3302504.3311807},
  timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/DuttaCS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DuttaCJST19,
  author    = {Souradeep Dutta and
               Xin Chen and
               Susmit Jha and
               Sriram Sankaranarayanan and
               Ashish Tiwari},
  title     = {Sherlock - {A} tool for verification of neural network feedback systems:
               demo abstract},
  booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
               16-18, 2019.},
  pages     = {262--263},
  year      = {2019},
  crossref  = {DBLP:conf/hybrid/2019},
  url       = {https://doi.org/10.1145/3302504.3313351},
  doi       = {10.1145/3302504.3313351},
  timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/DuttaCJST19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Sankaranarayanan19,
  author    = {Sriram Sankaranarayanan and
               Souradeep Dutta and
               Sergio Mover},
  title     = {Reaching Out Towards Fully Verified Autonomous Systems},
  booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
               Brussels, Belgium, September 11-13, 2019, Proceedings},
  pages     = {22--32},
  year      = {2019},
  crossref  = {DBLP:conf/rp/2019},
  url       = {https://doi.org/10.1007/978-3-030-30806-3\_3},
  doi       = {10.1007/978-3-030-30806-3\_3},
  timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/Sankaranarayanan19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/DuttaJST18,
  author    = {Souradeep Dutta and
               Susmit Jha and
               Sriram Sankaranarayanan and
               Ashish Tiwari},
  title     = {Learning and Verification of Feedback Control Systems using Feedforward
               Neural Networks},
  booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
               2018, Oxford, UK, July 11-13, 2018},
  pages     = {151--156},
  year      = {2018},
  crossref  = {DBLP:conf/adhs/2018},
  url       = {https://doi.org/10.1016/j.ifacol.2018.08.026},
  doi       = {10.1016/j.ifacol.2018.08.026},
  timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adhs/DuttaJST18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DuttaKS18,
  author    = {Souradeep Dutta and
               Taisa Kushner and
               Sriram Sankaranarayanan},
  title     = {Robust Data-Driven Control of Artificial Pancreas Systems Using Neural
               Networks},
  booktitle = {Computational Methods in Systems Biology - 16th International Conference,
               {CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
  pages     = {183--202},
  year      = {2018},
  crossref  = {DBLP:conf/cmsb/2018},
  url       = {https://doi.org/10.1007/978-3-319-99429-1\_11},
  doi       = {10.1007/978-3-319-99429-1\_11},
  timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/DuttaKS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DuttaJST18,
  author    = {Souradeep Dutta and
               Susmit Jha and
               Sriram Sankaranarayanan and
               Ashish Tiwari},
  title     = {Output Range Analysis for Deep Feedforward Neural Networks},
  booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
               Newport News, VA, USA, April 17-19, 2018, Proceedings},
  pages     = {121--138},
  year      = {2018},
  crossref  = {DBLP:conf/nfm/2018},
  url       = {https://doi.org/10.1007/978-3-319-77935-5\_9},
  doi       = {10.1007/978-3-319-77935-5\_9},
  timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/DuttaJST18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/GhoshDDD17,
  author    = {Sumana Ghosh and
               Souradeep Dutta and
               Soumyajit Dey and
               Pallab Dasgupta},
  title     = {A Structured Methodology for Pattern based Adaptive Scheduling in
               Embedded Control},
  journal   = {{ACM} Trans. Embedded Comput. Syst.},
  volume    = {16},
  number    = {5},
  pages     = {189:1--189:22},
  year      = {2017},
  url       = {https://doi.org/10.1145/3126514},
  doi       = {10.1145/3126514},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tecs/GhoshDDD17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ChenDS17,
  author    = {Xin Chen and
               Souradeep Dutta and
               Sriram Sankaranarayanan},
  title     = {Formal Verification of a Multi-Basal Insulin Infusion Control Model},
  booktitle = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous
               and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)
               on April 17, 2017 in Pittsburgh, PA, {USA}},
  pages     = {75--91},
  year      = {2017},
  crossref  = {DBLP:conf/cpsweek/2017arch},
  url       = {http://www.easychair.org/publications/paper/342732},
  timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/ChenDS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09130,
  author    = {Souradeep Dutta and
               Susmit Jha and
               Sriram Sankaranarayanan and
               Ashish Tiwari},
  title     = {Output Range Analysis for Deep Neural Networks},
  journal   = {CoRR},
  volume    = {abs/1709.09130},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.09130},
  archivePrefix = {arXiv},
  eprint    = {1709.09130},
  timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-09130},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/RahaDDD16,
  author    = {Rajorshee Raha and
               Souradeep Dutta and
               Soumyajit Dey and
               Pallab Dasgupta},
  title     = {Multirate Sampling for Power-Performance Tradeoff in Embedded Control},
  journal   = {Embedded Systems Letters},
  volume    = {8},
  number    = {4},
  pages     = {77--80},
  year      = {2016},
  url       = {https://doi.org/10.1109/LES.2016.2612696},
  doi       = {10.1109/LES.2016.2612696},
  timestamp = {Thu, 27 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/esl/RahaDDD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vdat/GhoshMDHD16,
  author    = {Saurav Kumar Ghosh and
               Akash Mondal and
               Souradeep Dutta and
               Aritra Hazra and
               Soumyajit Dey},
  title     = {Synthesis of scheduler automata guaranteeing stability and reliability
               of embedded control systems},
  booktitle = {20th International Symposium on {VLSI} Design and Test, {VDAT} 2016,
               Guwahati, India, May 24-27, 2016},
  pages     = {1--6},
  year      = {2016},
  crossref  = {DBLP:conf/vdat/2016},
  url       = {https://doi.org/10.1109/ISVDAT.2016.8064856},
  doi       = {10.1109/ISVDAT.2016.8064856},
  timestamp = {Tue, 23 Jan 2018 15:49:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vdat/GhoshMDHD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2019,
  editor    = {J. Benton and
               Nir Lipovetzky and
               Eva Onaindia and
               David E. Smith and
               Siddharth Srivastava},
  title     = {Proceedings of the Twenty-Ninth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2018, Berkeley, CA, USA, July 11-15,
               2019},
  publisher = {{AAAI} Press},
  year      = {2019},
  url       = {https://aaai.org/ojs/index.php/ICAPS/issue/view/239},
  timestamp = {Wed, 17 Jul 2019 15:00:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aips/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2019arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019},
  series    = {EPiC Series in Computing},
  volume    = {61},
  publisher = {EasyChair},
  year      = {2019},
  url       = {http://www.easychair.org/publications/volume/ARCH19},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2019arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2019,
  editor    = {Necmiye Ozay and
               Pavithra Prabhakar},
  title     = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
               16-18, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3302504},
  isbn      = {978-1-4503-6282-5},
  timestamp = {Sun, 07 Apr 2019 17:45:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2019,
  editor    = {Emmanuel Filiot and
               Rapha{\"{e}}l M. Jungers and
               Igor Potapov},
  title     = {Reachability Problems - 13th International Conference, {RP} 2019,
               Brussels, Belgium, September 11-13, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11674},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-30806-3},
  doi       = {10.1007/978-3-030-30806-3},
  isbn      = {978-3-030-30805-6},
  timestamp = {Mon, 09 Sep 2019 15:37:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adhs/2018,
  editor    = {Alessandro Abate and
               Antoine Girard and
               Maurice Heemels},
  title     = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
               2018, Oxford, UK, July 11-13, 2018},
  series    = {IFAC-PapersOnLine},
  volume    = {51},
  number    = {16},
  publisher = {Elsevier},
  year      = {2018},
  url       = {https://www.sciencedirect.com/journal/ifac-papersonline/vol/51/issue/16},
  timestamp = {Mon, 08 Oct 2018 13:49:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adhs/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2018,
  editor    = {Milan Ceska and
               David Safr{\'{a}}nek},
  title     = {Computational Methods in Systems Biology - 16th International Conference,
               {CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11095},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99429-1},
  doi       = {10.1007/978-3-319-99429-1},
  isbn      = {978-3-319-99428-4},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2018,
  editor    = {Aaron Dutle and
               C{\'{e}}sar A. Mu{\~{n}}oz and
               Anthony Narkawicz},
  title     = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
               Newport News, VA, USA, April 17-19, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10811},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-77935-5},
  doi       = {10.1007/978-3-319-77935-5},
  isbn      = {978-3-319-77934-8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2017arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous
               and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)
               on April 17, 2017 in Pittsburgh, PA, {USA}},
  series    = {EPiC Series in Computing},
  volume    = {48},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/ARCH17},
  timestamp = {Wed, 16 Aug 2017 16:30:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2017arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vdat/2016,
  title     = {20th International Symposium on {VLSI} Design and Test, {VDAT} 2016,
               Guwahati, India, May 24-27, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8059694},
  isbn      = {978-1-5090-1422-4},
  timestamp = {Tue, 23 Jan 2018 15:49:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vdat/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics