| Synthesis of human-in-the-loop control protocols for autonomous systems L Feng, C Wiltsche, L Humphrey, U Topcu IEEE Transactions on Automation Science and Engineering 13 (2), 450-462, 2016 | 143 | 2016 |
| Safe multi-agent reinforcement learning via shielding I ElSayed-Aly, S Bharadwaj, C Amato, R Ehlers, U Topcu, L Feng Proceedings of the 20th International Conference on Autonomous Agents and …, 2021 | 141 | 2021 |
| Deeptake: Prediction of driver takeover behavior using multimodal data E Pakdamanian, S Sheng, S Baee, S Heo, S Kraus, L Feng Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems …, 2021 | 109 | 2021 |
| Medirl: Predicting the visual attention of drivers via maximum entropy deep inverse reinforcement learning S Baee, E Pakdamanian, I Kim, L Feng, V Ordonez, L Barnes Proceedings of the IEEE/CVF international conference on computer vision …, 2021 | 77 | 2021 |
| Automated learning of probabilistic assumptions for compositional reasoning L Feng, M Kwiatkowska, D Parker International Conference on Fundamental Approaches to Software Engineering, 2-17, 2011 | 68 | 2011 |
| Controller synthesis for autonomous systems interacting with human operators L Feng, C Wiltsche, L Humphrey, U Topcu Proceedings of the acm/ieee sixth international conference on cyber-physical …, 2015 | 67 | 2015 |
| Compositional verification of probabilistic systems using learning L Feng, M Kwiatkowska, D Parker 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 66 | 2010 |
| A Case Study of Trust on Autonomous Driving* S Sheng, E Pakdamanian, K Han, BG Kim, P Tiwari, I Kim, L Feng 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 4368-4373, 2019 | 57 | 2019 |
| STLnet: Signal temporal logic enforced multivariate recurrent neural networks M Ma, J Gao, L Feng, J Stankovic Advances in Neural Information Processing Systems 33, 14604-14614, 2020 | 53 | 2020 |
| Learning-based compositional verification for synchronous probabilistic systems L Feng, T Han, M Kwiatkowska, D Parker International Symposium on Automated Technology for Verification and …, 2011 | 51 | 2011 |
| SaSTL: Spatial aggregation signal temporal logic for runtime monitoring in smart cities M Ma, E Bartocci, E Lifland, J Stankovic, L Feng 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020 | 46 | 2020 |
| Cityresolver: a decision support system for conflict resolution in smart cities M Ma, JA Stankovic, L Feng 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018 | 46 | 2018 |
| Predictive monitoring with logic-calibrated uncertainty for cyber-physical systems M Ma, J Stankovic, E Bartocci, L Feng ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-25, 2021 | 41 | 2021 |
| A novel spatial–temporal specification-based monitoring system for smart cities M Ma, E Bartocci, E Lifland, JA Stankovic, L Feng IEEE Internet of Things Journal 8 (15), 11793-11806, 2021 | 38 | 2021 |
| Toward Policy Explanations for Multi-Agent Reinforcement Learning K Boggess, S Kraus, L Feng Proceedings of the Thirty-First International Joint Conference on Artificial …, 2022 | 37 | 2022 |
| Explainable multi-agent reinforcement learning for temporal queries K Boggess, S Kraus, L Feng In Proceedings of the Thirty-Second International Joint Conference on …, 2023 | 26 | 2023 |
| Enjoy the ride consciously with CAWA: Context-aware advisory warnings for automated driving E Pakdamanian, E Hu, S Sheng, S Kraus, S Heo, L Feng Proceedings of the 14th international conference on automotive user …, 2022 | 25 | 2022 |
| Assuring the safety of on-demand medical cyber-physical systems AL King, L Feng, O Sokolsky, I Lee 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks …, 2013 | 24 | 2013 |
| Trust-based route planning for automated vehicles S Sheng, E Pakdamanian, K Han, Z Wang, J Lenneman, L Feng Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical …, 2021 | 23 | 2021 |
| Attack-resilient sensor fusion for cooperative adaptive cruise control P Lu, L Zhang, BB Park, L Feng 2018 21st International Conference on Intelligent Transportation Systems …, 2018 | 23 | 2018 |
Meiyi MaAssistant Professor in Computer Science, Vanderbilt UniversityVerified email at virginia.edu
