| Receding horizon temporal logic planning T Wongpiromsarn, U Topcu, RM Murray IEEE Transactions on Automatic Control 57 (11), 2817-2830, 2012 | 349 | 2012 |
| Distributed traffic signal control for maximum network throughput T Wongpiromsarn, T Uthaicharoenpong, Y Wang, E Frazzoli, D Wang 2012 15th international IEEE conference on intelligent transportation …, 2012 | 251 | 2012 |
| TuLiP: a software toolbox for receding horizon temporal logic planning T Wongpiromsarn, U Topcu, N Ozay, H Xu, RM Murray Proceedings of the 14th international conference on Hybrid systems …, 2011 | 250 | 2011 |
| Receding horizon control for temporal logic specifications T Wongpiromsarn, U Topcu, RM Murray Proceedings of the 13th ACM international conference on Hybrid systems …, 2010 | 245 | 2010 |
| Capacity-aware backpressure traffic signal control J Gregoire, X Qian, E Frazzoli, A De La Fortelle, T Wongpiromsarn IEEE Transactions on Control of Network Systems 2 (2), 164-173, 2014 | 209 | 2014 |
| Receding horizon temporal logic planning for dynamical systems T Wongpiromsarn, U Topcu, RM Murray Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held …, 2009 | 162 | 2009 |
| Liability, ethics, and culture-aware behavior specification using rulebooks A Censi, K Slutsky, T Wongpiromsarn, D Yershov, S Pendleton, J Fu, ... 2019 International Conference on Robotics and Automation (ICRA), 8536-8542, 2019 | 149 | 2019 |
| Correct, reactive, high-level robot control H Kress-Gazit, T Wongpiromsarn, U Topcu IEEE Robotics & Automation Magazine 18 (3), 65-74, 2011 | 148 | 2011 |
| Autonomous personal vehicle for the first-and last-mile transportation services ZJ Chong, B Qin, T Bandyopadhyay, T Wongpiromsarn, ES Rankin, ... 2011 IEEE 5th International Conference on Cybernetics and Intelligent …, 2011 | 109 | 2011 |
| Autonomy for mobility on demand ZJ Chong, B Qin, T Bandyopadhyay, T Wongpiromsarn, B Rebsamen, ... Intelligent Autonomous Systems 12: Volume 1 Proceedings of the 12th …, 2013 | 96 | 2013 |
| Back-pressure traffic signal control with unknown routing rates J Gregoire, E Frazzoli, A de La Fortelle, T Wongpiromsarn IFAC Proceedings Volumes 47 (3), 11332-11337, 2014 | 94 | 2014 |
| Redundancy in autonomous vehicles E Frazzoli, A Censi, HH Chang, P Robbel, MA Meijburg, EB Nice, E Wolff, ... US Patent App. 17/058,242, 2021 | 81 | 2021 |
| Verifying cyber-physical interactions in safety-critical systems S Mitra, T Wongpiromsarn, RM Murray IEEE Security & Privacy 11 (4), 28-37, 2013 | 68 | 2013 |
| Synthesis of control protocols for autonomous systems T Wongpiromsarn, U Topcu, RM Murray Unmanned Systems 1 (01), 21-39, 2013 | 63 | 2013 |
| Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems T Wongpiromsarn, U Topcu, A Lamperski IEEE Transactions on Automatic Control 61 (11), 3344-3355, 2015 | 57 | 2015 |
| Distributed consensus in noncooperative congestion games: An application to road pricing X Wang, N Xiao, T Wongpiromsarn, L Xie, E Frazzoli, D Rus 2013 10th IEEE International Conference on Control and Automation (ICCA …, 2013 | 53 | 2013 |
| Distributed synthesis of control protocols for smart camera networks N Ozay, U Topcu, RM Murray, T Wongpiromsarn 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, 45-54, 2011 | 52 | 2011 |
| Incremental controller synthesis in probabilistic environments with temporal logic constraints A Ulusoy, T Wongpiromsarn, C Belta The International Journal of Robotics Research 33 (8), 1130-1144, 2014 | 49 | 2014 |
| Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications T Wongpiromsarn, A Ulusoy, C Belta, E Frazzoli, D Rus 2013 IEEE International Conference on Robotics and Automation, 5011-5018, 2013 | 48 | 2013 |
| Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications T Wongpiromsarn, E Frazzoli 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7644-7651, 2012 | 47 | 2012 |
Emilio FrazzoliProfessor of Dynamic Systems and ControlVerified email at ethz.ch
