Lu Feng

According to our database, Lu Feng authored at least 65 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Safe POMDP Online Planning Among Dynamic Agents via Adaptive Conformal Prediction.

Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng

IEEE Robotics Autom. Lett., November, 2024

DP-RuL: Differentially-Private Rule Learning for Clinical Decision Support Systems.

Josephine Lamp, Lu Feng, David Evans

CoRR, 2024

Distributional Probabilistic Model Checking.

Ingy Elsayed-Aly, David Parker, Lu Feng

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

ADESSE: Advice Explanations in Complex Repeated Decision-Making Environments.

Sören Schleibaum, Lu Feng, Sarit Kraus, Jörg P. Müller

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications.

Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Safe POMDP Online Planning via Shielding.

Shili Sheng, David Parker, Lu Feng

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023

Artifact for: Distributional Probabilistic Model Checking.

Ingy Elsayed-Aly, David Parker, Lu Feng

Dataset, September, 2023

Artifact for: Distributional Probabilistic Model Checking.

Ingy Elsayed-Aly, David Parker, Lu Feng

Dataset, September, 2023

Introduction to the Special Issue on Runtime Verification.

Lu Feng, Dana Fisman

Int. J. Softw. Tools Technol. Transf., August, 2023

CARNA: Characterizing Advanced heart failure Risk and hemodyNAmic phenotypes using learned multi-valued decision diagrams.

Josephine Lamp, Yuxin Wu, Steven Lamp, Prince Afriyie, Kenneth C. Bilchick, Lu Feng, Sula Mazimba

CoRR, 2023

Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire Detection and Monitoring.

Negin Moghadasi, Amar Kulkarni, Dustin Crayton, Robert J. Grissom, James H. Lambert, Lu Feng

Proceedings of the IEEE International Systems Conference, 2023

GlucoSynth: Generating Differentially-Private Synthetic Glucose Traces.

Josephine Lamp, Mark Derdzinski, Christopher Hannemann, Joost van der Linden, Lu Feng, Tianhao Wang, David E. Evans

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Explainable Multi-Agent Reinforcement Learning for Temporal Queries.

Kayla Boggess, Sarit Kraus, Lu Feng

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors.

Christopher Morse, Lu Feng, Matthew B. Dwyer, Sebastian G. Elbaum

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems.

Maryam Bagheri, Josephine Lamp, Xugui Zhou, Lu Feng, Homa Alemzadeh

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

Planning for Automated Vehicles with Human Trust.

Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, David Parker, Lu Feng

ACM Trans. Cyber Phys. Syst., 2022

Logic-based Reward Shaping for Multi-Agent Reinforcement Learning.

Ingy Elsayed-Aly, Lu Feng

CoRR, 2022

A Study on Learning and Simulating Personalized Car-Following Driving Style.

Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, Lu Feng

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Toward Policy Explanations for Multi-Agent Reinforcement Learning.

Kayla Boggess, Sarit Kraus, Lu Feng

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Multi-Objective Controller Synthesis with Uncertain Human Preferences.

Shenghui Chen, Kayla Boggess, David Parker, Lu Feng

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Enjoy the Ride Consciously with CAWA: Context-Aware Advisory Warnings for Automated Driving.

Erfan Pakdamanian, Erzhen Hu, Shili Sheng, Sarit Kraus, Seongkook Heo, Lu Feng

Proceedings of the AutomotiveUI '22: 14th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Seoul, Republic of Korea, September 17, 2022

2021

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems.

Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng

ACM Trans. Embed. Comput. Syst., 2021

A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities.

Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng

IEEE Internet Things J., 2021

A Graduate Curriculum in Cyber-Physical Systems.

John A. Stankovic, Homa Alemzadeh, Brad Campbell, John C. Lach, Lu Feng, Cody H. Fleming, Jonathan L. Goodall, Toluwalogo Odumosu, Daniel Quinn, Yuan Tian, Kelley Tobler

IEEE Des. Test, 2021

Toward Formal Methods for Smart Cities.

Meiyi Ma, John A. Stankovic, Lu Feng

Computer, 2021

MEDIRL: Predicting the Visual Attention of Drivers via Maximum Entropy Deep Inverse Reinforcement Learning.

Sonia Baee, Erfan Pakdamanian, Inki Kim, Lu Feng, Vicente Ordonez, Laura E. Barnes

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Trust-based route planning for automated vehicles.

Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, Lu Feng

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

A smart city simulation platform with uncertainty.

Shuyang Dong, Meiyi Ma, Lu Feng

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data.

Erfan Pakdamanian, Shili Sheng, Sonia Baee, Seongkook Heo, Sarit Kraus, Lu Feng

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

Safe Multi-Agent Reinforcement Learning via Shielding.

Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Probabilistic Conditional System Invariant Generation with Bayesian Inference.

Meriel von Stein, Sebastian G. Elbaum, Lu Feng, Shili Sheng

CoRR, 2020

Towards Personalized Explanation of Robotic Planning via User Feedback.

Kayla Boggess, Shenghui Chen, Lu Feng

CoRR, 2020

CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities.

Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng

CoRR, 2020

Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract.

Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng

Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks.

Meiyi Ma, Ji Gao, Lu Feng, John A. Stankovic

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Towards Transparent Robotic Planning via Contrastive Explanations.

Shenghui Chen, Kayla Boggess, Lu Feng

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.

Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Toward Minimum Startle After Take-Over Request: A Preliminary Study of Physiological Data.

Erfan Pakdamanian, Nauder Namaky, Shili Sheng, Inki Kim, James Arthur Coan, Lu Feng

Proceedings of the Adjunct Proceedings of the 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2020

2019

Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models.

BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee

ACM Trans. Cyber Phys. Syst., 2019

EyeCar: Modeling the Visual Attention Allocation of Drivers in Semi-Autonomous Vehicles.

Sonia Baee, Erfan Pakdamanian, Vicente Ordonez, Inki Kim, Lu Feng, Laura E. Barnes

CoRR, 2019

Runtime Monitoring of Real time Safety Requirements in Smart Cities.

Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic

CoRR, 2019

Performance Modeling and Verification of Load Balancing in Cloud Systems Using Formal Methods.

Shenghui Chen, Zhiming Fan, Haiying Shen, Lu Feng

Proceedings of the 16th IEEE International Conference on Mobile Ad Hoc and Sensor Systems Workshops, 2019

A Case Study of Trust on Autonomous Driving.

Shili Sheng, Erfan Pakdamanian, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, Inki Kim, Lu Feng

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors.

Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng

Proceedings of the Computational Methods in Systems Biology, 2019

2018

The Effect of Whole-Body Haptic Feedback on Driver's Perception in Negotiating a Curve.

Erfan Pakdamanian, Lu Feng, Inki Kim

CoRR, 2018

Attack-Resilient Sensor Fusion for Cooperative Adaptive Cruise Control.

Pengyuan Lu, Limin Zhang, B. Brian Park, Lu Feng

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

DAMON: A Data Authenticity Monitoring System for Diabetes Management.

William Young, John Corbett, Matthew S. Gerber, Stephen Patek, Lu Feng

Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

Counterexamples for Robotic Planning Explained in Structured Language.

Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Cityresolver: a decision support system for conflict resolution in smart cities.

Meiyi Ma, John A. Stankovic, Lu Feng

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

Runtime Monitoring of Safety and Performance Requirements in Smart Cities.

Meiyi Ma, John A. Stankovic, Lu Feng

Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017

2016

Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.

Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu

IEEE Trans Autom. Sci. Eng., 2016

Human-interpretable diagnostic information for robotic planning systems.

Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

2015

Towards Assurance for Plug & Play Medical Systems.

Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee

Proceedings of the Computer Safety, Reliability, and Security, 2015

Platform-Specific Code Generation from Platform-Independent Timed Models.

BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps.

Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

Controller synthesis for autonomous systems interacting with human operators.

Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Platform-specific timing verification framework in model-based implementation.

BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

On learning assumptions for compositional verification of probabilistic systems.

Lu Feng

PhD thesis, 2014

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal.

Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Exploring the twin peaks using probabilistic verification techniques.

Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

2013

A Modal Specification Approach for On-Demand Medical Systems.

Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Assuring the safety of on-demand medical cyber-physical systems.

Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2011

Automated Learning of Probabilistic Assumptions for Compositional Reasoning.

Lu Feng, Marta Z. Kwiatkowska, David Parker

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Learning-Based Compositional Verification for Synchronous Probabilistic Systems.

Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Compositional Verification of Probabilistic Systems Using Learning.

Lu Feng, Marta Z. Kwiatkowska, David Parker

Proceedings of the QEST 2010, 2010