Search results for: John Lygeros
IEEE Transactions on Automatic Control > 2016 > 61 > 8 > 2155 - 2170
IEEE Transactions on Automatic Control > 2015 > 60 > 10 > 2716 - 2721
IEEE Transactions on Automatic Control > 2016 > 61 > 8 > 2155 - 2170
IEEE Transactions on Automatic Control > 2015 > 60 > 10 > 2716 - 2721