Paper  doi  bibtex   

@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}
}