09/01/17: Dr. Yasser Shoukry joined the University of Maryland as Assistant Professor.
07/28/17: Prof. Tabuada is the inaugural holder of the Vijay K. Dhir Endowed Chair in Engineering.
07/10/17: ICCPS 2018 will take place in Porto. Consider submitting your best papers!
11/29/16: Prof. Tabuada becomes an IEEE Fellow.
Labeling for Not Stable System
Here we present the MATLAB code describing how the labeling was done in the "Not Stable System" example in Section 6.2 of the manuscript "Underminer: A Framework for Automatically Identifying Non-converging Behaviors in Black Box System Models".