Search results for: Ufuk Topcu
IEEE Transactions on Automatic Control > 2017 > 62 > 10 > 5289 - 5295
Formal Methods in System Design > 2017 > 51 > 2 > 332-361
IEEE Transactions on Automatic Control > 2017 > 62 > 1 > 50 - 64
2016 IEEE 55th Conference on Decision and Control (CDC) > 7081 - 7086
2016 IEEE 55th Conference on Decision and Control (CDC) > 6557 - 6564
2016 IEEE 55th Conference on Decision and Control (CDC) > 3319 - 3324
IEEE Transactions on Automatic Control > 2016 > 61 > 11 > 3344 - 3355
IEEE Transactions on Automatic Control > 2016 > 61 > 11 > 3464 - 3476
IEEE Transactions on Automation Science and Engineering > 2016 > 13 > 2 > 450 - 462
IEEE Transactions on Automation Science and Engineering > 2016 > 13 > 1 > 7 - 17
Journal of Optimization Theory and Applications > 2016 > 170 > 1 > 220-242