Search results
2015 54th IEEE Conference on Decision and Control (CDC) > 2907 - 2912
IEEE Transactions on Software Engineering > 2015 > 41 > 5 > 490 - 506
IEEE Transactions on Automatic Control > 2014 > 59 > 8 > 2176 - 2181
IEEE Transactions on Software Engineering > 2013 > 39 > 4 > 462 - 476
2011 Chinese Control and Decision Conference (CCDC) > 2527 - 2532
IEEE Transactions on Information Theory > 2011 > 57 > 3 > 1707 - 1713