Search results for: Robi Malik
Automatica > 2017 > 76 > C > 277-281
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 120-134
Discrete Event Dynamic Systems > 2016 > 26 > 1 > 33-84
Science of Computer Programming > 2015 > 113 > P2 > 119-148
IEEE Transactions on Automatic Control > 2015 > 60 > 1 > 118 - 129
Discrete Event Dynamic Systems > 2015 > 25 > 1-2 > 177-201
Science of Computer Programming > 2014 > 89 > Part A > 23-40
IEEE Transactions on Automatic Control > 2014 > 59 > 1 > 150 - 162
IEEE Transactions on Automatic Control > 2014 > 59 > 8 > 2176 - 2181
Control Theory and Technology > 2014 > 12 > 3 > 317-329
IEEE Transactions on Automatic Control > 2013 > 58 > 8 > 1891 - 1903