Ana Medina Ayala’s paper accepted to IEEE Transactions on Automatic Control

Ana’s paper (together with Sean Andersson and Calin Belta) titled “Formal synthesis of control policies for continuous time Markov processes from time-bounded temporal logic specifications” has been accepted to the IEEE Transactions on Automatic Control. Congratulations!