@article{ dblp2029502,
  title = {Probabilistic Temporal Logic Falsification of Cyber-Physical Systems},
  author = {Houssam Abbas and Georgios E. Fainekos and Sriram Sankaranarayanan and Franjo Ivancic and Aarti Gupta},
  author_short = {Abbas, H. and Fainekos, G. E. and Sankaranarayanan, S. and Ivancic, F. and Gupta, A.},
  bibtype = {article},
  type = {article},
  year = {2013},
  key = {dblp2029502},
  id = {dblp2029502},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tecs/AbbasFSIG13},
  url = {http://doi.acm.org/10.1145/2465787.2465797},
  journal = {ACM Trans. Embedded Comput. Syst. (TECS)},
  pages = {95},
  number = {2s},
  volume = {12},
  text = {ACM Trans. Embedded Comput. Syst. (TECS) 12(2s):95 (2013)}
}

{"_id":"Y7RJP4tnMgZdnnQ7u","bibbaseid":"abbas-fainekos-sankaranarayanan-ivancic-gupta-probabilistictemporallogicfalsificationofcyberphysicalsystems-2013","downloads":0,"creationDate":"2015-10-19T18:43:42.206Z","title":"Probabilistic Temporal Logic Falsification of Cyber-Physical Systems","author_short":["Abbas, H.","Fainekos, G. E.","Sankaranarayanan, S.","Ivancic, F.","Gupta, A."],"year":2013,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tecs/AbbasFSIG13","bibdata":{"title":"Probabilistic Temporal Logic Falsification of Cyber-Physical Systems","author":["Houssam Abbas","Georgios E. Fainekos","Sriram Sankaranarayanan","Franjo Ivancic","Aarti Gupta"],"author_short":["Abbas, H.","Fainekos, G. E.","Sankaranarayanan, S.","Ivancic, F.","Gupta, A."],"bibtype":"article","type":"article","year":"2013","key":"dblp2029502","id":"dblp2029502","biburl":"http://www.dblp.org/rec/bibtex/journals/tecs/AbbasFSIG13","url":"http://doi.acm.org/10.1145/2465787.2465797","journal":"ACM Trans. Embedded Comput. Syst. (TECS)","pages":"95","number":"2s","volume":"12","text":"ACM Trans. Embedded Comput. Syst. (TECS) 12(2s):95 (2013)","bibtex":"@article{ dblp2029502,\n title = {Probabilistic Temporal Logic Falsification of Cyber-Physical Systems},\n author = {Houssam Abbas and Georgios E. Fainekos and Sriram Sankaranarayanan and Franjo Ivancic and Aarti Gupta},\n author_short = {Abbas, H. and Fainekos, G. E. and Sankaranarayanan, S. and Ivancic, F. and Gupta, A.},\n bibtype = {article},\n type = {article},\n year = {2013},\n key = {dblp2029502},\n id = {dblp2029502},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tecs/AbbasFSIG13},\n url = {http://doi.acm.org/10.1145/2465787.2465797},\n journal = {ACM Trans. Embedded Comput. Syst. (TECS)},\n pages = {95},\n number = {2s},\n volume = {12},\n text = {ACM Trans. Embedded Comput. Syst. (TECS) 12(2s):95 (2013)}\n}","bibbaseid":"abbas-fainekos-sankaranarayanan-ivancic-gupta-probabilistictemporallogicfalsificationofcyberphysicalsystems-2013","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2465787.2465797"},"downloads":0},"search_terms":["probabilistic","temporal","logic","falsification","cyber","physical","systems","abbas","fainekos","sankaranarayanan","ivancic","gupta"],"keywords":[],"authorIDs":[],"dataSources":["K2STYYwP8wXc37n9R"]}