Search results for: John Lygeros
IEEE Transactions on Automatic Control > 2016 > 61 > 2 > 334 - 345
IEEE Transactions on Automatic Control > 2012 > 57 > 12 > 3153 - 3157
IEEE Transactions on Automatic Control > 2016 > 61 > 2 > 334 - 345
IEEE Transactions on Automatic Control > 2012 > 57 > 12 > 3153 - 3157