Lu Feng

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 67

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. ICRA (2024)
Josephine Lamp, Lu Feng, David Evans
DP-RuL: Differentially-Private Rule Learning for Clinical Decision Support Systems. CoRR (2024)
Ingy Elsayed-Aly, David Parker, Lu Feng
Distributional Probabilistic Model Checking. NFM (2024)
Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction. CoRR (2024)
Shili Sheng, David Parker, Lu Feng
Safe POMDP Online Planning via Shielding. ICRA (2024)
Sören Schleibaum, Lu Feng, Sarit Kraus, Jörg P. Müller
ADESSE: Advice Explanations in Complex Repeated Decision-Making Environments. CoRR (2024)
Josephine Lamp, Mark Derdzinski, Christopher Hannemann, Joost van der Linden, Lu Feng, Tianhao Wang, David Evans
GlucoSynth: Generating Differentially-Private Synthetic Glucose Traces. CoRR (2023)
Josephine Lamp, Yuxin Wu, Steven Lamp, Prince Afriyie, Kenneth Bilchick, Lu Feng, Sula Mazimba
CARNA: Characterizing Advanced heart failure Risk and hemodyNAmic phenotypes using learned multi-valued decision diagrams. CoRR (2023)
Lu Feng, Dana Fisman
Introduction to the Special Issue on Runtime Verification. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. CoRR (2023)
Josephine Lamp, Mark Derdzinski, Christopher Hannemann, Joost van der Linden, Lu Feng, Tianhao Wang, David Evans
GlucoSynth: Generating Differentially-Private Synthetic Glucose Traces. NeurIPS (2023)
Maryam Bagheri, Josephine Lamp, Xugui Zhou, Lu Feng, Homa Alemzadeh
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems. SafeAI@AAAI (2023)
Ingy Elsayed-Aly, David Parker, Lu Feng
Distributional Probabilistic Model Checking. CoRR (2023)
Christopher Morse, Lu Feng, Matthew B. Dwyer, Sebastian G. Elbaum
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors. ICRA (2023)
Shili Sheng, David Parker, Lu Feng
Safe POMDP Online Planning via Shielding. CoRR (2023)
Kayla Boggess, Sarit Kraus, Lu Feng
Explainable Multi-Agent Reinforcement Learning for Temporal Queries. CoRR (2023)
Kayla Boggess, Sarit Kraus, Lu Feng
Explainable Multi-Agent Reinforcement Learning for Temporal Queries. IJCAI (2023)
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, David Parker, Lu Feng
Planning for Automated Vehicles with Human Trust. ACM Trans. Cyber Phys. Syst. 6 (4) (2022)
Shenghui Chen, Kayla Boggess, David Parker, Lu Feng
Multi-Objective Controller Synthesis with Uncertain Human Preferences. ICCPS (2022)
Kayla Boggess, Sarit Kraus, Lu Feng
Toward Policy Explanations for Multi-Agent Reinforcement Learning. CoRR (2022)
Kayla Boggess, Sarit Kraus, Lu Feng
Toward Policy Explanations for Multi-Agent Reinforcement Learning. IJCAI (2022)
Erfan Pakdamanian, Erzhen Hu, Shili Sheng, Sarit Kraus, Seongkook Heo, Lu Feng
Enjoy the Ride Consciously with CAWA: Context-Aware Advisory Warnings for Automated Driving. UI (2022)
Ingy Elsayed-Aly, Lu Feng
Logic-based Reward Shaping for Multi-Agent Reinforcement Learning. CoRR (2022)
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, Lu Feng
A Study on Learning and Simulating Personalized Car-Following Driving Style. ITSC (2022)
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, Lu Feng
A Study on Learning and Simulating Personalized Car-Following Driving Style. CoRR (2022)
Erfan Pakdamanian, Erzhen Hu, Shili Sheng, Sarit Kraus, Seongkook Heo, Lu Feng
Enjoy the Ride Consciously with CAWA: Context-Aware Advisory Warnings for Automated Driving. CoRR (2022)
Maryam Bagheri, Josephine Lamp, Xugui Zhou, Lu Feng, Homa Alemzadeh
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems. CoRR (2022)
Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
Safe Multi-Agent Reinforcement Learning via Shielding. CoRR (2021)
Sonia Baee, Erfan Pakdamanian, Inki Kim, Lu Feng, Vicente Ordonez, Laura E. Barnes
MEDIRL: Predicting the Visual Attention of Drivers via Maximum Entropy Deep Inverse Reinforcement Learning. ICCV (2021)
John A. Stankovic, Homa Alemzadeh, Brad Campbell, John C. Lach, Lu Feng, Cody Fleming, Jonathan L. Goodall, Toluwalogo Odumosu, Daniel Quinn, Yuan Tian, Kelley Tobler
A Graduate Curriculum in Cyber-Physical Systems. IEEE Des. Test 38 (3) (2021)
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, Lu Feng
Trust-based route planning for automated vehicles. ICCPS (2021)
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, Lu Feng
Trust-Based Route Planning for Automated Vehicles. CoRR (2021)
Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
Safe Multi-Agent Reinforcement Learning via Shielding. AAMAS (2021)
Shenghui Chen, Kayla Boggess, David Parker, Lu Feng
Multi-Objective Controller Synthesis with Uncertain Human Preferences. CoRR (2021)
Meiyi Ma, John A. Stankovic, Lu Feng
Toward Formal Methods for Smart Cities. Computer 54 (9) (2021)
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. IEEE Internet Things J. 8 (15) (2021)
Shuyang Dong, Meiyi Ma, Lu Feng
A smart city simulation platform with uncertainty. ICCPS (2021)
Erfan Pakdamanian, Shili Sheng, Sonia Baee, Seongkook Heo, Sarit Kraus, Lu Feng
DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data. CHI (2021)
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. CoRR (2021)
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. CoRR (2020)
Erfan Pakdamanian, Shili Sheng, Sonia Baee, Seongkook Heo, Sarit Kraus, Lu Feng
DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data. CoRR (2020)
Kayla Boggess, Shenghui Chen, Lu Feng
Towards Personalized Explanation of Robotic Planning via User Feedback. CoRR (2020)
Shenghui Chen, Kayla Boggess, Lu Feng
Towards Transparent Robotic Planning via Contrastive Explanations. CoRR (2020)
Meriel Stein, Sebastian G. Elbaum, Lu Feng, Shili Sheng
Probabilistic Conditional System Invariant Generation with Bayesian Inference. CoRR (2020)
Erfan Pakdamanian, Nauder Namaky, Shili Sheng, Inki Kim, James Arthur Coan, Lu Feng
Toward Minimum Startle After Take-Over Request: A Preliminary Study of Physiological Data. AutomotiveUI (adjunct) (2020)
Meiyi Ma, Ji Gao, Lu Feng, John A. Stankovic
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks. NeurIPS (2020)
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. ICCPS (2020)
Shenghui Chen, Kayla Boggess, Lu Feng
Towards Transparent Robotic Planning via Contrastive Explanations. IROS (2020)
Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng
Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. SenSys (2020)
Sonia Baee, Erfan Pakdamanian, Vicente Ordonez, Inki Kim, Lu Feng, Laura E. Barnes
EyeCar: Modeling the Visual Attention Allocation of Drivers in Semi-Autonomous Vehicles. CoRR (2019)
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. CoRR (2019)
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. CMSB (2019)
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, Inki Kim, Lu Feng
A Case Study of Trust on Autonomous Driving. CoRR (2019)
Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic
Runtime Monitoring of Real time Safety Requirements in Smart Cities. CoRR (2019)
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, Inki Kim, Lu Feng
A Case Study of Trust on Autonomous Driving. ITSC (2019)
Shenghui Chen, Zhiming Fan, Haiying Shen, Lu Feng
Performance Modeling and Verification of Load Balancing in Cloud Systems Using Formal Methods. MASS Workshops (2019)
BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. ACM Trans. Cyber Phys. Syst. 3 (3) (2019)
Meiyi Ma, John A. Stankovic, Lu Feng
Cityresolver: a decision support system for conflict resolution in smart cities. ICCPS (2018)
William Young, John Corbett, Matthew S. Gerber, Stephen Patek, Lu Feng
DAMON: A Data Authenticity Monitoring System for Diabetes Management. IoTDI (2018)
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu
Counterexamples for Robotic Planning Explained in Structured Language. ICRA (2018)
Pengyuan Lu, Limin Zhang, B. Brian Park, Lu Feng
Attack-Resilient Sensor Fusion for Cooperative Adaptive Cruise Control. ITSC (2018)
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu
Counterexamples for Robotic Planning Explained in Structured Language. CoRR (2018)
Erfan Pakdamanian, Lu Feng, Inki Kim
The Effect of Whole-Body Haptic Feedback on Driver's Perception in Negotiating a Curve. CoRR (2018)
Meiyi Ma, John A. Stankovic, Lu Feng
Runtime Monitoring of Safety and Performance Requirements in Smart Cities. SafeThings@SenSys (2017)
Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu
Human-interpretable diagnostic information for robotic planning systems. IROS (2016)
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems. IEEE Trans Autom. Sci. Eng. 13 (2) (2016)
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
Controller synthesis for autonomous systems interacting with human operators. ICCPS (2015)
BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee
Platform-specific timing verification framework in model-based implementation. DATE (2015)
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee
Towards Assurance for Plug & Play Medical Systems. SAFECOMP (2015)
BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Platform-Specific Code Generation from Platform-Independent Timed Models. RTSS (2015)
Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. ICHI (2015)
Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee
Exploring the twin peaks using probabilistic verification techniques. TwinPeaks (2014)
Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. MCPS (2014)
Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee
A Modal Specification Approach for On-Demand Medical Systems. FHIES (2013)
Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee
Assuring the safety of on-demand medical cyber-physical systems. CPSNA (2013)
Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA (2011)
Lu Feng, Marta Z. Kwiatkowska, David Parker
Automated Learning of Probabilistic Assumptions for Compositional Reasoning. FASE (2011)
Lu Feng, Marta Z. Kwiatkowska, David Parker
Compositional Verification of Probabilistic Systems Using Learning. QEST (2010)

Lu Feng.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lu Feng