Search results for: John Lygeros
IEEE Control Systems Letters > 2018 > 2 > 1 > 1 - 6
2015 54th IEEE Conference on Decision and Control (CDC) > 3038 - 3043
IEEE Transactions on Automatic Control > 2015 > 60 > 10 > 2716 - 2721
IEEE Transactions on Automatic Control > 2015 > 60 > 1 > 46 - 58
IEEE Transactions on Automatic Control > 2014 > 59 > 8 > 2258 - 2263