@Article{SCC.Prajna.Jadbabaie.ea2007,
  author        = {Prajna, S. and Jadbabaie, A. and Pappas, G. J.},
  title         = {A framework for worst-case and stochastic safety verification using barrier certificates},
  journal       = {IEEE Trans. Autom. Control},
  year          = {2007},
  volume        = {52},
  number        = {8},
  pages         = {1415--1428},
  month         = aug,
  issn          = {0018-9286},
  __markedentry = {[rushik:]},
  doi           = {10.1109/TAC.2007.902736},
  keywords      = {Barrier},
}

{"_id":"a4KH2BBR7e2jSiMDJ","bibbaseid":"prajna-jadbabaie-pappas-aframeworkforworstcaseandstochasticsafetyverificationusingbarriercertificates-2007","authorIDs":[],"author_short":["Prajna, S.","Jadbabaie, A.","Pappas, G. J."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Prajna"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Jadbabaie"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Pappas"],"firstnames":["G.","J."],"suffixes":[]}],"title":"A framework for worst-case and stochastic safety verification using barrier certificates","journal":"IEEE Trans. Autom. Control","year":"2007","volume":"52","number":"8","pages":"1415–1428","month":"August","issn":"0018-9286","__markedentry":"[rushik:]","doi":"10.1109/TAC.2007.902736","keywords":"Barrier","bibtex":"@Article{SCC.Prajna.Jadbabaie.ea2007,\r\n author = {Prajna, S. and Jadbabaie, A. and Pappas, G. J.},\r\n title = {A framework for worst-case and stochastic safety verification using barrier certificates},\r\n journal = {IEEE Trans. Autom. Control},\r\n year = {2007},\r\n volume = {52},\r\n number = {8},\r\n pages = {1415--1428},\r\n month = aug,\r\n issn = {0018-9286},\r\n __markedentry = {[rushik:]},\r\n doi = {10.1109/TAC.2007.902736},\r\n keywords = {Barrier},\r\n}\r\n\r\n","author_short":["Prajna, S.","Jadbabaie, A.","Pappas, G. J."],"key":"SCC.Prajna.Jadbabaie.ea2007","id":"SCC.Prajna.Jadbabaie.ea2007","bibbaseid":"prajna-jadbabaie-pappas-aframeworkforworstcaseandstochasticsafetyverificationusingbarriercertificates-2007","role":"author","urls":{},"keyword":["Barrier"],"downloads":0},"bibtype":"article","biburl":"https://www.dropbox.com/s/ulqmhc6o5w2em3p/sccmaster.bib?dl=1","creationDate":"2019-06-05T17:17:24.578Z","downloads":0,"keywords":["barrier"],"search_terms":["framework","worst","case","stochastic","safety","verification","using","barrier","certificates","prajna","jadbabaie","pappas"],"title":"A framework for worst-case and stochastic safety verification using barrier certificates","year":2007,"dataSources":["aDrN6vnZWqY8fA7E8"]}