BibTeX record conf/adhs/DuttaJST18

download as .bib file

@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 10:57:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adhs/DuttaJST18},
  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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics