@article{DBLP:journals/tac/AcikmeseDH15,
  author       = {Beh{\c{c}}et A{\c{c}}ikmese and
                  Nazli Demir and
                  Matthew W. Harris},
  title        = {Convex Necessary and Sufficient Conditions for Density Safety Constraints
                  in Markov Chain Synthesis},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {60},
  number       = {10},
  pages        = {2813--2818},
  year         = {2015},
  url          = {https://doi.org/10.1109/TAC.2015.2400712},
  doi          = {10.1109/TAC.2015.2400712},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/AcikmeseDH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"CJ6m935dyDYCJxpXd","bibbaseid":"aikmese-demir-harris-convexnecessaryandsufficientconditionsfordensitysafetyconstraintsinmarkovchainsynthesis-2015","author_short":["Açikmese, B.","Demir, N.","Harris, M. W."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Behçet"],"propositions":[],"lastnames":["Açikmese"],"suffixes":[]},{"firstnames":["Nazli"],"propositions":[],"lastnames":["Demir"],"suffixes":[]},{"firstnames":["Matthew","W."],"propositions":[],"lastnames":["Harris"],"suffixes":[]}],"title":"Convex Necessary and Sufficient Conditions for Density Safety Constraints in Markov Chain Synthesis","journal":"IEEE Trans. Autom. Control.","volume":"60","number":"10","pages":"2813–2818","year":"2015","url":"https://doi.org/10.1109/TAC.2015.2400712","doi":"10.1109/TAC.2015.2400712","timestamp":"Wed, 20 May 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tac/AcikmeseDH15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tac/AcikmeseDH15,\n author = {Beh{\\c{c}}et A{\\c{c}}ikmese and\n Nazli Demir and\n Matthew W. Harris},\n title = {Convex Necessary and Sufficient Conditions for Density Safety Constraints\n in Markov Chain Synthesis},\n journal = {{IEEE} Trans. Autom. Control.},\n volume = {60},\n number = {10},\n pages = {2813--2818},\n year = {2015},\n url = {https://doi.org/10.1109/TAC.2015.2400712},\n doi = {10.1109/TAC.2015.2400712},\n timestamp = {Wed, 20 May 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tac/AcikmeseDH15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Açikmese, B.","Demir, N.","Harris, M. W."],"key":"DBLP:journals/tac/AcikmeseDH15","id":"DBLP:journals/tac/AcikmeseDH15","bibbaseid":"aikmese-demir-harris-convexnecessaryandsufficientconditionsfordensitysafetyconstraintsinmarkovchainsynthesis-2015","role":"author","urls":{"Paper":"https://doi.org/10.1109/TAC.2015.2400712"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/151/7872.bib","dataSources":["KoSwBTjuLZzdvzhrs","47FS7asm7EQBN9mhr","xSevENF3923fSYjMS"],"keywords":[],"search_terms":["convex","necessary","sufficient","conditions","density","safety","constraints","markov","chain","synthesis","açikmese","demir","harris"],"title":"Convex Necessary and Sufficient Conditions for Density Safety Constraints in Markov Chain Synthesis","year":2015}