@article{journals/corr/LiLO15,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Li, Yinan and Liu, Jun and Ozay, Necmiye},
  biburl = {https://www.bibsonomy.org/bibtex/2c4f897185baaa406530d06a2a619a6e3/dblp},
  ee = {http://arxiv.org/abs/1507.06248},
  interhash = {c111f5f7aba0749cbef3012db102901f},
  intrahash = {c4f897185baaa406530d06a2a619a6e3},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T12:09:09.000+0200},
  title = {Computing finite abstractions with robustness margins via local reachable set over-approximation.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1507.html#LiLO15},
  volume = {abs/1507.06248},
  year = 2015
}

{"_id":"JyAn4NoKzP2DgvSfN","bibbaseid":"li-liu-ozay-computingfiniteabstractionswithrobustnessmarginsvialocalreachablesetoverapproximation-2015","author_short":["Li, Y.","Liu, J.","Ozay, N."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Li"],"firstnames":["Yinan"],"suffixes":[]},{"propositions":[],"lastnames":["Liu"],"firstnames":["Jun"],"suffixes":[]},{"propositions":[],"lastnames":["Ozay"],"firstnames":["Necmiye"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2c4f897185baaa406530d06a2a619a6e3/dblp","ee":"http://arxiv.org/abs/1507.06248","interhash":"c111f5f7aba0749cbef3012db102901f","intrahash":"c4f897185baaa406530d06a2a619a6e3","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T12:09:09.000+0200","title":"Computing finite abstractions with robustness margins via local reachable set over-approximation.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1507.html#LiLO15","volume":"abs/1507.06248","year":"2015","bibtex":"@article{journals/corr/LiLO15,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Li, Yinan and Liu, Jun and Ozay, Necmiye},\n biburl = {https://www.bibsonomy.org/bibtex/2c4f897185baaa406530d06a2a619a6e3/dblp},\n ee = {http://arxiv.org/abs/1507.06248},\n interhash = {c111f5f7aba0749cbef3012db102901f},\n intrahash = {c4f897185baaa406530d06a2a619a6e3},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T12:09:09.000+0200},\n title = {Computing finite abstractions with robustness margins via local reachable set over-approximation.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1507.html#LiLO15},\n volume = {abs/1507.06248},\n year = 2015\n}\n\n","author_short":["Li, Y.","Liu, J.","Ozay, N."],"key":"journals/corr/LiLO15","id":"journals/corr/LiLO15","bibbaseid":"li-liu-ozay-computingfiniteabstractionswithrobustnessmarginsvialocalreachablesetoverapproximation-2015","role":"author","urls":{"Link":"http://arxiv.org/abs/1507.06248","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1507.html#LiLO15"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/yinan li?items=1000","dataSources":["QoyTSazxyeTj3aKwW"],"keywords":["dblp"],"search_terms":["computing","finite","abstractions","robustness","margins","via","local","reachable","set","over","approximation","li","liu","ozay"],"title":"Computing finite abstractions with robustness margins via local reachable set over-approximation.","year":2015}