Lu Feng

102 papers A* 15A 6B 6Misc 1Journal 47Unranked 25
YearRankTypeTitle / Venue / Authors
2026 B ed.
Engineering Multi-Agent Systems - 13th International Workshop, EMAS 2025, Detroit, MI, USA, May 19-20, 2025, Revised Selected Papers
EMAS
Sebastian Rodriguez, Lu Feng, Jörg P. Müller
2026 A* conf
Explaining Decentralized Multi-Agent Reinforcement Learning Policies.
AAAI
Kayla Boggess, Sarit Kraus, Lu Feng
2026 J jnl
Safety Generalization Under Distribution Shift in Safe Reinforcement Learning: A Diabetes Testbed.
CoRR
Minjae Kwon, Josephine Lamp, Lu Feng
2025 A conf
Adaptive Reward Design for Reinforcement Learning.
UAI
Minjae Kwon, Ingy Elsayed-Aly, Lu Feng
2025 A* conf
Counterfactual Explanations for Continuous Action Reinforcement Learning.
IJCAI
Shuyang Dong, Shangtong Zhang, Lu Feng
2025 J jnl
Counterfactual Explanations for Continuous Action Reinforcement Learning.
CoRR
Shuyang Dong, Shangtong Zhang, Lu Feng
2025 B conf
Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025.
EMAS
Sebastian Rodriguez, Akhila Bairy, Matteo Baldoni, Patrick Benjamin, Constantin Blessing, Nicolas Brandstetter, Amit K. Chopra, Thomas Clemen, Louise A. Dennis, Ahmad Esmaeili, Lu Feng, Angelo Ferrando, Zahra Ghorrati, Victor Guillet, Önder Gürcan, Soham Hans, James Herber, Viviana Mascardi, Marcel Mauri, Jörg P. Müller, John Thangarajah, Rafal Tyl, Yi Yang
2025 J jnl
Evaluating Human Trust in LLM-Based Planners: A Preliminary Study.
CoRR
Shenghui Chen, Yunhao Yang, Kayla Boggess, Seongkook Heo, Lu Feng, Ufuk Topcu
2025 J jnl
Explaining Decentralized Multi-Agent Reinforcement Learning Policies.
CoRR
Kayla Boggess, Sarit Kraus, Lu Feng
2025 — conf
IrrMap: A Large-Scale Comprehensive Dataset for Irrigation Method Mapping.
KDD (2)
Nibir Chandra Mandal, Oishee Bintey Hoque, Abhijin Adiga, Samarth Swarup, Mandy L. Wilson, Lu Feng, Yangfeng Ji, Miaomiao Zhang, Geoffrey C. Fox, Madhav V. Marathe
2025 J jnl
IrrMap: A Large-Scale Comprehensive Dataset for Irrigation Method Mapping.
CoRR
Nibir Chandra Mandal, Oishee Bintey Hoque, Abhijin Adiga, Samarth Swarup, Mandy L. Wilson, Lu Feng, Yangfeng Ji, Miaomiao Zhang, Geoffrey C. Fox, Madhav V. Marathe
2025 A* conf
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction.
AAAI
Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng
2025 J jnl
Runtime Safety through Adaptive Shielding: From Hidden Parameter Inference to Provable Guarantees.
CoRR
Minjae Kwon, Tyler Ingebrand, Ufuk Topcu, Lu Feng
2025 A* conf
Towards Computational Foreseeability.
AAAI
Sarit Kraus, Kayla Boggess, Robert Kim, Bryan H. Choi, Lu Feng
2024 A* conf
ADESSE: Advice Explanations in Complex Repeated Decision-Making Environments.
IJCAI
Sören Schleibaum, Lu Feng, Sarit Kraus, Jörg P. Müller
2024 J jnl
ADESSE: Advice Explanations in Complex Repeated Decision-Making Environments.
CoRR
Sören Schleibaum, Lu Feng, Sarit Kraus, Jörg P. Müller
2024 J jnl
Adaptive Reward Design for Reinforcement Learning in Complex Robotic Tasks.
CoRR
Minjae Kwon, Ingy Elsayed-Aly, Lu Feng
2024 J jnl
DP-RuL: Differentially-Private Rule Learning for Clinical Decision Support Systems.
CoRR
Josephine Lamp, Lu Feng, David Evans
2024 — conf
Distributional Probabilistic Model Checking.
NFM
Ingy Elsayed-Aly, David Parker, Lu Feng
2024 J jnl
Introduction to the Special Issue on ICCPS 2023.
ACM Trans. Cyber Phys. Syst.
Lu Feng, Abhishek Dubey
2024 J jnl
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction.
CoRR
Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng
2024 J jnl
Safe POMDP Online Planning Among Dynamic Agents via Adaptive Conformal Prediction.
IEEE Robotics Autom. Lett.
Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng
2024 J jnl
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction.
CoRR
Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng
2024 A* conf
Safe POMDP Online Planning via Shielding.
ICRA
Shili Sheng, David Parker, Lu Feng
2024 A* conf
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications.
ICRA
Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska
2023 A* conf
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors.
ICRA
Christopher Morse, Lu Feng, Matthew B. Dwyer, Sebastian G. Elbaum
2023 J jnl
CARNA: Characterizing Advanced heart failure Risk and hemodyNAmic phenotypes using learned multi-valued decision diagrams.
CoRR
Josephine Lamp, Yuxin Wu, Steven Lamp, Prince Afriyie, Kenneth C. Bilchick, Lu Feng, Sula Mazimba
2023 J jnl
Distributional Probabilistic Model Checking.
CoRR
Ingy Elsayed-Aly, David Parker, Lu Feng
2023 A* conf
Explainable Multi-Agent Reinforcement Learning for Temporal Queries.
IJCAI
Kayla Boggess, Sarit Kraus, Lu Feng
2023 J jnl
Explainable Multi-Agent Reinforcement Learning for Temporal Queries.
CoRR
Kayla Boggess, Sarit Kraus, Lu Feng
2023 — conf
Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire Detection and Monitoring.
SysCon
Negin Moghadasi, Amar Kulkarni, Dustin Crayton, Robert J. Grissom, James H. Lambert, Lu Feng
2023 A* conf
GlucoSynth: Generating Differentially-Private Synthetic Glucose Traces.
NeurIPS
Josephine Lamp, Mark Derdzinski, Christopher Hannemann, Joost van der Linden, Lu Feng, Tianhao Wang, David E. Evans
2023 J jnl
GlucoSynth: Generating Differentially-Private Synthetic Glucose Traces.
CoRR
Josephine Lamp, Mark Derdzinski, Christopher Hannemann, Joost van der Linden, Lu Feng, Tianhao Wang, David Evans
2023 J jnl
Introduction to the Special Issue on Runtime Verification.
Int. J. Softw. Tools Technol. Transf.
Lu Feng, Dana Fisman
2023 — ed.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023
ICCPS
Sayan Mitra, Nalini Venkatasubramanian, Abhishek Dubey, Lu Feng, Mahsa Ghasemi, Jonathan Sprinkle
2023 J jnl
Safe POMDP Online Planning via Shielding.
CoRR
Shili Sheng, David Parker, Lu Feng
2023 — conf
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems.
SafeAI@AAAI
Maryam Bagheri, Josephine Lamp, Xugui Zhou, Lu Feng, Homa Alemzadeh
2023 J jnl
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications.
CoRR
Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska
2022 — conf
A Study on Learning and Simulating Personalized Car-Following Driving Style.
ITSC
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, Lu Feng
2022 J jnl
A Study on Learning and Simulating Personalized Car-Following Driving Style.
CoRR
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, Lu Feng
2022 — conf
Enjoy the Ride Consciously with CAWA: Context-Aware Advisory Warnings for Automated Driving.
UI
Erfan Pakdamanian, Erzhen Hu, Shili Sheng, Sarit Kraus, Seongkook Heo, Lu Feng
2022 J jnl
Enjoy the Ride Consciously with CAWA: Context-Aware Advisory Warnings for Automated Driving.
CoRR
Erfan Pakdamanian, Erzhen Hu, Shili Sheng, Sarit Kraus, Seongkook Heo, Lu Feng
2022 J jnl
Logic-based Reward Shaping for Multi-Agent Reinforcement Learning.
CoRR
Ingy Elsayed-Aly, Lu Feng
2022 — conf
Multi-Objective Controller Synthesis with Uncertain Human Preferences.
ICCPS
Shenghui Chen, Kayla Boggess, David Parker, Lu Feng
2022 J jnl
Planning for Automated Vehicles with Human Trust.
ACM Trans. Cyber Phys. Syst.
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, David Parker, Lu Feng
2022 A* conf
Toward Policy Explanations for Multi-Agent Reinforcement Learning.
IJCAI
Kayla Boggess, Sarit Kraus, Lu Feng
2022 J jnl
Toward Policy Explanations for Multi-Agent Reinforcement Learning.
CoRR
Kayla Boggess, Sarit Kraus, Lu Feng
2022 J jnl
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems.
CoRR
Maryam Bagheri, Josephine Lamp, Xugui Zhou, Lu Feng, Homa Alemzadeh
2021 J jnl
A Graduate Curriculum in Cyber-Physical Systems.
IEEE Des. Test
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
2021 J jnl
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities.
CoRR
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
2021 J jnl
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities.
IEEE Internet Things J.
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
2021 — conf
A smart city simulation platform with uncertainty.
ICCPS
Shuyang Dong, Meiyi Ma, Lu Feng
2021 A* conf
DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data.
CHI
Erfan Pakdamanian, Shili Sheng, Sonia Baee, Seongkook Heo, Sarit Kraus, Lu Feng
2021 A* conf
MEDIRL: Predicting the Visual Attention of Drivers via Maximum Entropy Deep Inverse Reinforcement Learning.
ICCV
Sonia Baee, Erfan Pakdamanian, Inki Kim, Lu Feng, Vicente Ordonez, Laura E. Barnes
2021 J jnl
Multi-Objective Controller Synthesis with Uncertain Human Preferences.
CoRR
Shenghui Chen, Kayla Boggess, David Parker, Lu Feng
2021 J jnl
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
2021 B ed.
Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings
RV
Lu Feng, Dana Fisman
2021 A conf
Safe Multi-Agent Reinforcement Learning via Shielding.
AAMAS
Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
2021 J jnl
Safe Multi-Agent Reinforcement Learning via Shielding.
CoRR
Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
2021 J jnl
Toward Formal Methods for Smart Cities.
Computer
Meiyi Ma, John A. Stankovic, Lu Feng
2021 J jnl
Trust-Based Route Planning for Automated Vehicles.
CoRR
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, Lu Feng
2021 — conf
Trust-based route planning for automated vehicles.
ICCPS
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, Lu Feng
2020 J jnl
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities.
CoRR
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
2020 J jnl
DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data.
CoRR
Erfan Pakdamanian, Shili Sheng, Sonia Baee, Seongkook Heo, Sarit Kraus, Lu Feng
2020 Misc conf
Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract.
SenSys
Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng
2020 J jnl
Probabilistic Conditional System Invariant Generation with Bayesian Inference.
CoRR
Meriel von Stein, Sebastian G. Elbaum, Lu Feng, Shili Sheng
2020 A* conf
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks.
NeurIPS
Meiyi Ma, Ji Gao, Lu Feng, John A. Stankovic
2020 — conf
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.
ICCPS
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
2020 — conf
Toward Minimum Startle After Take-Over Request: A Preliminary Study of Physiological Data.
AutomotiveUI (adjunct)
Erfan Pakdamanian, Nauder Namaky, Shili Sheng, Inki Kim, James Arthur Coan, Lu Feng
2020 J jnl
Towards Personalized Explanation of Robotic Planning via User Feedback.
CoRR
Kayla Boggess, Shenghui Chen, Lu Feng
2020 A conf
Towards Transparent Robotic Planning via Contrastive Explanations.
IROS
Shenghui Chen, Kayla Boggess, Lu Feng
2020 J jnl
Towards Transparent Robotic Planning via Contrastive Explanations.
CoRR
Shenghui Chen, Kayla Boggess, Lu Feng
2019 — conf
A Case Study of Trust on Autonomous Driving.
ITSC
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, Inki Kim, Lu Feng
2019 J jnl
A Case Study of Trust on Autonomous Driving.
CoRR
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, Inki Kim, Lu Feng
2019 — conf
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors.
CMSB
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
2019 J jnl
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors.
CoRR
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
2019 J jnl
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models.
ACM Trans. Cyber Phys. Syst.
BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
2019 J jnl
EyeCar: Modeling the Visual Attention Allocation of Drivers in Semi-Autonomous Vehicles.
CoRR
Sonia Baee, Erfan Pakdamanian, Vicente Ordonez, Inki Kim, Lu Feng, Laura E. Barnes
2019 — conf
Performance Modeling and Verification of Load Balancing in Cloud Systems Using Formal Methods.
MASS Workshops
Shenghui Chen, Zhiming Fan, Haiying Shen, Lu Feng
2019 J jnl
Runtime Monitoring of Real time Safety Requirements in Smart Cities.
CoRR
Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic
2018 — conf
Attack-Resilient Sensor Fusion for Cooperative Adaptive Cruise Control.
ITSC
Pengyuan Lu, Limin Zhang, B. Brian Park, Lu Feng
2018 — conf
Cityresolver: a decision support system for conflict resolution in smart cities.
ICCPS
Meiyi Ma, John A. Stankovic, Lu Feng
2018 A* conf
Counterexamples for Robotic Planning Explained in Structured Language.
ICRA
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu
2018 J jnl
Counterexamples for Robotic Planning Explained in Structured Language.
CoRR
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu
2018 — conf
DAMON: A Data Authenticity Monitoring System for Diabetes Management.
IoTDI
William Young, John Corbett, Matthew S. Gerber, Stephen Patek, Lu Feng
2018 J jnl
The Effect of Whole-Body Haptic Feedback on Driver's Perception in Negotiating a Curve.
CoRR
Erfan Pakdamanian, Lu Feng, Inki Kim
2017 — conf
Runtime Monitoring of Safety and Performance Requirements in Smart Cities.
SafeThings@SenSys
Meiyi Ma, John A. Stankovic, Lu Feng
2016 A conf
Human-interpretable diagnostic information for robotic planning systems.
IROS
Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu
2016 J jnl
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.
IEEE Trans Autom. Sci. Eng.
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
2015 — conf
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps.
ICHI
Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee
2015 — conf
Controller synthesis for autonomous systems interacting with human operators.
ICCPS
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
2015 A conf
Platform-Specific Code Generation from Platform-Independent Timed Models.
RTSS
BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
2015 A conf
Platform-specific timing verification framework in model-based implementation.
DATE
BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee
2015 B conf
Towards Assurance for Plug & Play Medical Systems.
SAFECOMP
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee
2014 — conf
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal.
MCPS
Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee
2014 — conf
Exploring the twin peaks using probabilistic verification techniques.
TwinPeaks
Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee
2014 — —
On learning assumptions for compositional verification of probabilistic systems.
Lu Feng
2013 — conf
A Modal Specification Approach for On-Demand Medical Systems.
FHIES
Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee
2013 — conf
Assuring the safety of on-demand medical cyber-physical systems.
CPSNA
Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee
2011 B conf
Automated Learning of Probabilistic Assumptions for Compositional Reasoning.
FASE
Lu Feng, Marta Z. Kwiatkowska, David Parker
2011 B conf
Learning-Based Compositional Verification for Synchronous Probabilistic Systems.
ATVA
Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker
2010 — conf
Compositional Verification of Probabilistic Systems Using Learning.
QEST
Lu Feng, Marta Z. Kwiatkowska, David Parker