| Compositional verification of probabilistic systems using learning L Feng, M Kwiatkowska, D Parker 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 52 | 2010 |
| 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 | 51 | 2016 |
| 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 | 47 | 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 | 37 | 2015 |
| 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 | 37 | 2011 |
| A modal specification approach for on-demand medical systems AL King, L Feng, O Sokolsky, I Lee International Symposium on Foundations of Health Informatics Engineering and …, 2013 | 15 | 2013 |
| 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 | 15 | 2013 |
| Platform-specific timing verification framework in model-based implementation BG Kim, L Feng, LTX Phan, O Sokolsky, I Lee 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 235-240, 2015 | 13 | 2015 |
| Human-interpretable diagnostic information for robotic planning systems L Feng, L Humphrey, I Lee, U Topcu 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016 | 11 | 2016 |
| Towards assurance for plug & play medical systems AL King, L Feng, S Procter, S Chen, O Sokolsky, J Hatcliff, I Lee International Conference on Computer Safety, Reliability, and Security, 228-242, 2015 | 11 | 2015 |
| On learning assumptions for compositional verification of probabilistic systems L Feng | 11 | 2014 |
| 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 | 10 | 2018 |
| The effect of whole-body haptic feedback on driver’s perception in negotiating a curve E Pakdamanian, L Feng, I Kim Proceedings of the Human Factors and Ergonomics Society Annual Meeting 62 (1 …, 2018 | 9 | 2018 |
| 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 | 8 | 2019 |
| Platform-specific code generation from platform-independent timed models BG Kim, L Feng, O Sokolsky, I Lee 2015 IEEE Real-Time Systems Symposium, 75-86, 2015 | 8 | 2015 |
| A safety argument strategy for PCA closed-loop systems: A preliminary proposal L Feng, AL King, S Chen, A Ayoub, J Park, N Bezzo, O Sokolsky, I Lee 5th Workshop on Medical Cyber-Physical Systems, 2014 | 8 | 2014 |
| A data-driven behavior modeling and analysis framework for diabetic patients on insulin pumps S Chen, L Feng, MR Rickels, A Peleckis, O Sokolsky, I Lee 2015 International Conference on Healthcare Informatics, 213-222, 2015 | 7 | 2015 |
| Runtime monitoring of safety and performance requirements in smart cities M Ma, JA Stankovic, L Feng Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 44-50, 2017 | 6 | 2017 |
| EyeCar: Modeling the Visual Attention Allocation of Drivers in Semi-Autonomous Vehicles S Baee, E Pakdamanian, VO Roman, I Kim, L Feng, L Barnes arXiv preprint arXiv:1912.07773, 2019 | 4 | 2019 |
| 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 | 4 | 2018 |
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
