Follow
Lu Feng
Lu Feng
Associate Professor of Computer Science, University of Virginia
Verified email at virginia.edu - Homepage
Title
Cited by
Cited by
Year
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
1252016
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
972021
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
802021
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
662011
Compositional verification of probabilistic systems using learning
L Feng, M Kwiatkowska, D Parker
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
632010
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
622015
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
532021
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
482011
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
432018
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
382020
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
372019
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
302020
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
292021
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
282021
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
232013
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
212022
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
212018
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
192018
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
182021
Toward minimum startle after take-over request: A preliminary study of physiological data
E Pakdamanian, N Namaky, S Sheng, I Kim, JA Coan, L Feng
12th International Conference on Automotive User Interfaces and Interactive …, 2020
182020
The system can't perform the operation now. Try again later.
Articles 1–20