Convex Necessary and Sufficient Conditions for Density Safety Constraints in Markov Chain Synthesis | IEEE Journals & Magazine | IEEE Xplore