Search results for: John Lygeros
IEEE Transactions on Automatic Control > 2017 > 62 > 9 > 4512 - 4526
IEEE Transactions on Automatic Control > 2015 > 60 > 4 > 1064 - 1069
IEEE Transactions on Automatic Control > 2017 > 62 > 9 > 4512 - 4526
IEEE Transactions on Automatic Control > 2015 > 60 > 4 > 1064 - 1069