Lu Feng
University of Virginia
News Archive
Mar. 2024: Two papers have been accepted for publication at the IEEE International Conference on Robotics and Automation (ICRA) 2024: “Safe POMDP Online Planning via Shielding” and “Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications”.
Mar. 2024: Our paper “Distributional Probabilistic Model Checking” has been accepted for publication at the NASA Formal Methods Symposium 2024.
Nov. 2023: Our paper “GlucoSynth: Generating Differentially-Private Synthetic Glucose Traces” has been accepted for publication at the Thirty-seventh Conference on Neural Information Processing Systems (NeurlPS) 2023.
Oct. 2023: I've joined the editorial board of ACM Transactions on Cyber-Physical Systems as an Associate Editor.
Sep. 2023: I'm serving as the General Chair of ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2024. The paper submission deadline is Oct 31. Please consider to submit your best work!
Jun. 2023: I have been promoted as a tenured Associate Professor at the University of Virginia.
Apr. 2023: Our paper “Explainable Multi-Agent Reinforcement Learning for Temporal Queries” has been accepted for publication at the International Joint Conference on Artificial Intelligence (IJCAI) 2023.
Feb. 2023: Our paper “A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors” has been accepted for publication at the IEEE International Conference on Robotics and Automation (ICRA) 2023.
Nov. 2022: I'm co-organizing AAAI-23 Bridge: AI and Law, which will take place on Feb 8, 2023 in Washington DC, as part of the Bridge Program at the Thirty-Seventh AAAI Conference on Artificial Intelligence. Welcome to join us for interdisciplinary dialogues about AI and Law!
Sep. 2022: I'm serving as a Technical Program Co-Chair of ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2023. The paper submission deadline is Oct 31. Please consider to submit your best work!
Aug. 2022: I'm serving as a Program Co-Chair of IFAC Workshop on Cyber-Physical & Human Systems (CPHS) 2022. Please join us in Houston, TX on Dec 1-2 for an interdisciplinary discussion about advances in cyber-physical human systems!
Aug. 2022: Our paper “Planning for Automated Vehicles with Human Trust” has been accepted by ACM Transactions on Cyber-Physical Systems.
May 2022: Congratulations to my PhD student Erfan Pakdamanian on passing his PhD defense! Erfan will join Ford Motor Company as a Research Scientist in Jun 2022.
Apr. 2022: Our paper “Toward Policy Explanations for Multi-Agent Reinforcement Learning” has been accepted for long oral presentation at the International Joint Conference on Artificial Intelligence (IJCAI) 2022.
Jan. 2022: Our paper “Multi-Objective Controller Synthesis with Uncertain Human Preferences” has been accepted for publication at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2022.
Oct. 2021: Our paper “Toward Formal Methods for Smart Cities” has been published as a cover feature in the IEEE Computer magazine.
Sep. 2021: I've received a NSF grant on Collaborative Research: DASS: Accountable Software Systems for Safety-Critical Applications. This is a collaborative project with Professor Bryan H. Choi at the Ohio State Moritz College of Law.
Jul. 2021: Congratulations to my PhD student Meiyi Ma on passing her PhD defense! Meiyi will join Vanderbilt University as an Assistant Professor in August 2021.
Jul. 2021: Our paper “Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems” has been accepted for publication at the International Conference on Embedded Software (EMSOFT) 2021.
Jul. 2021: Our paper “MEDIRL: Predicting the Visual Attention of Drivers via Maximum Entropy Deep Inverse Reinforcement Learning” has been accepted for publication at the International Conference on Computer Vision (ICCV) 2021.
Jun. 2021: I've received an AFOSR grant on “Automatically Inferring Human Machine Interaction Properties and Predicting and Adapting to their Violation” with Professors Sebastian Elbaum and Matt Dewyer.
Mar. 2021: Our paper “A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities” has been accepted for publication at the IEEE Internet of Things Journal.
Dec. 2020: Our paper “Safe Multi-Agent Reinforcement Learning via Shielding” has been accepted for publication at the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021).
Dec. 2020: Our paper “DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data” has been accepted for publication at the ACM Conference on Human Factors in Computing Systems (CHI 2021).
Dec. 2020: Our paper “Trust-Based Route Planning for Automated Vehicles” has been accepted for publication at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021).
Dec. 2020: Congratulations to my undergraduate research student Vivian Chen on being awarded honorable mention for the 2021 CRA Outstanding Undergraduate Researcher Award!
Nov. 2020: Our research team has won the NIH-organized NHLBI Big Data Analysis Challenge: Creating New Paradigms for Heart Failure Research.
Oct. 2020: I'm serving as the Publication Chair of ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2021. Please consider to submit your best work!
Sep. 2020: Our paper “STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks” has been accepted for publication at the Thirty-fourth Conference on Neural Information Processing Systems (NeurlPS 2020).
Jul. 2020: Our paper “Towards Transparent Robotic Planning via Contrastive Explanations” has been accepted for publication at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2020).
Mar. 2020: Congratulations to my PhD student Josephine Lamp on receiving the prestigious NSF Graduate Research Fellowship!
Feb. 2020: I've received an NSF CAREER Award on CAREER: Formal Methods for Human-Cyber-Physical Systems. See more details in this article.
Jan. 2020: Our paper “SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities” has been accepted for publication at the IEEE/ACM Conference on Cyber-Physical Systems (ICCPS 2020).
Aug. 2019: I'm serving on the program committees of ICCPS 2020, HSCC 2020, CAV 2020. Please consider to submit your best work to these conferences!
Aug. 2019: I'm co-chairing Medical Cyber Physical Systems in Internet of Things Workshop 2019 as part the IEEE/ACM Conference on Connected Health, which will be held on Sep 25-27 in Washington DC. Welcome to join our discussion!
Jun. 2019: Our paper “A Case Study of Trust on Autonomous Driving” has been accepted for publication at the 22nd IEEE Intelligent Transportation Systems Conference.
Jun. 2019: Our paper “A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors” has been accepted for publication at the 17th International Conference on Computational Methods in Systems Biology.
Feb. 2019: I've received a grant from the Assuring Autonomy International Programme to investigate the project “Safe-SCAD: Safety of Shared Control in Autonomous Driving”, together with Dr. Corina Pasareanu (CMU), Dr. Radu Calinescu (York), and Dr. Inki Kim (UIUC).
Dec. 2018: Congratulations to my undergraduate student Pengyuan Lu who has been given honorable mention for the CRA Outstanding Undergraduate Researcher Award 2019.
Oct. 2018: I am very grateful to Toyota ITC for its generous support of unrestricted research fund. I look forward to our collaboration on connected and autonomous vehicles research.
Aug. 2018: I've received an ONR grant “Joint Perception and Temporal Logic Planning for Distributed Agents in Dynamic Environments” with Zsolt Kira (Georgia Tech), Pratap Tokekar (Virginia Tech), and Ufuk Topcu (UT Austin).
Jul. 2018: I am co-organizing the Verification and Deduction Mentoring Workshop and Workshop on Robots, Morality, and Trust through the Verification Lens at CAV 2018 as part of the Federated Logic Conference (FLoC) in Oxford, UK.
Jul. 2018: Our paper “Attack-Resilient Sensor Fusion for Cooperative Adaptive Cruise Control” has been accepted for presentation at the 21st IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2018).
Jun. 2018: I've received an Education Innovation Award and a Research Innovation Award from UVa School of Engineering and Applied Science.
Jun. 2018: Our paper “Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models” has been accepted for publication in ACM Transactions on Cyber-Physical Systems.
Jun. 2018: I've been invited to serve on the program committee of the 22nd ACM International Conference on Hybrid Systems: Computation & Control (HSCC), which will be held in conjunction with CPSWeek in Montreal, Canada in April 2019.
Jun. 2018: I've been invited to serve on the program committee for the inaugural 2018 International Workshop on Human-in-the-loop Internet of Things (HIL-IoT) Systems.
Apr. 2018: I am co-organizing the 8th International Workshop on Medical Cyber-Physical Systems as part of the CPS Week 2018 in Porto, Portugal.
Mar. 2018: I've received an NSF CRII Award on Cognitive Trust in Human-Autonomous Vehicle Interactions.
Mar. 2018: My research on the safety and trust of driverless cars is featured in UVAToday, see this and this.
Jan. 2018: I've been invited to serve on the program committee of The 18th International Conference on Runtime Verification (RV 2018).
Jan. 2018: Our paper “Counterexamples for Robotic Planning Explained in Structured Language” has been accepted by the IEEE International Conference on Robotics and Automation (ICRA) 2018.
Jan. 2018: Our paper “DAMON: A Data Authenticity Monitoring System for Diabetes Management” has been accepted by ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI) 2018.
Dec. 2017: Our paper “CityResolver: A Decision Support System for Conflict Resolution in Smart Cities” has been accepted by 9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2018.
Aug. 2017: I've received an NSF grant on Safety-Critical Wireless Mobile Systems with Kamin Whitehouse and Cody Fleming at UVa.
Aug. 2017: Our paper “Runtime Monitoring of Safety and Performance Requirements in Smart Cities” has been accepted by the ACM Workshop on the Internet of Safe Things (SafeThings 2017).
Jul. 2017: I've been invited to attend Microsoft Research Faculty Summit 2017.
Jul. 2017: I've been invited to serve on the program committee of the 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018) which is part of the CPS Week 2018.
Apr. 2017: Our paper “A Formal Human Reliability Analysis of a Community Pharmacy Dispensing Procedure” has been accepted by the 61st International Annual Meeting of Human Factors and Ergonomics Society (HFES 2017).
Apr. 2017: I've received a 4-VA Collaborative Research grant on “Human-in-the-Loop Planning of Distributed Multi-Robot Teams for Emergency Response” with Pratap Tokekar at Virginia Tech.
Jan. 2017: I've been invited to serve on the program committee of the ACM SIGBED International Conference on Embedded Software (EMSOFT 2017).
Jan. 2017: I am officially starting at the University of Virginia as an Assistant Professor.