Convex Necessary and Sufficient Conditions for Density Safety Constraints in Markov Chain Synthesis. \bf Açıkmeşe, Behçet, Demir*, N., & Harris*, M. W IEEE Transactions on Automatic Control, 60(10):2813-2818, 2015. \newline http://dx.doi.org/10.1109/TAC.2015.2400712doi bibtex @article{acikmese2015markov,
Author = {{\bf A{\c{c}}{\i}kme{\c{s}}e, Beh{\c{c}}et} and Demir*, Nazl\i and Harris*, Matthew W},
Doi = {10.1109/TAC.2015.2400712},
Journal = {IEEE Transactions on Automatic Control},
Title = {Convex Necessary and Sufficient Conditions for Density Safety Constraints in {M}arkov Chain Synthesis},
note = {\newline { http://dx.doi.org/10.1109/TAC.2015.2400712}},
year={2015},
volume={60},
number={10},
pages={2813-2818},
}