Search results for: George J. Pappas
2016 IEEE 55th Conference on Decision and Control (CDC) > 4252 - 4272
2016 IEEE 55th Conference on Decision and Control (CDC) > 2695 - 2702
2016 IEEE 55th Conference on Decision and Control (CDC) > 1787 - 1793
2016 IEEE 55th Conference on Decision and Control (CDC) > 3090 - 3097
2016 IEEE 55th Conference on Decision and Control (CDC) > 2215 - 2220
Lecture Notes in Computer Science > Hybrid Systems IV > 329-341
Lecture Notes in Computer Science > Hybrid Systems V > 186-203
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 329-342
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Regular Papers > 178-192
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 103-117