Papers accepted for CDC 2015

Two papers, Recursive Identification of Chain Dynamics in Hidden Markov Models Using Non-Negative Matrix Factorization and An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis, were accepted for publication at the 54th IEEE Conference on Decision and Control that will be held December 15-18, 2015 in Osaka, Japan.