Search results for: Ufuk Topcu
Formal Methods in System Design > 2017 > 51 > 2 > 332-361
IEEE Transactions on Automation Science and Engineering > 2016 > 13 > 2 > 450 - 462
Formal Methods in System Design > 2017 > 51 > 2 > 332-361
IEEE Transactions on Automation Science and Engineering > 2016 > 13 > 2 > 450 - 462