Lu Feng
University of Virginia
H-index: 17
North America-United States
Top articles of Lu Feng
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction | arXiv preprint arXiv:2404.15557 | Shili Sheng Pian Yu David Parker Marta Kwiatkowska Lu Feng | 2024/4/23 |
GlucoSynth: Generating Differentially-Private Synthetic Glucose Traces | Advances in Neural Information Processing Systems | Josephine Lamp Mark Derdzinski Christopher Hannemann Joost Van der Linden Lu Feng | 2024/2/13 |
Characterizing Advanced Heart Failure Risk and HemodyNAmic Phenotypes using Interpretable Machine Learning | American Heart Journal | Josephine Lamp Yuxin Wu Steven Lamp Prince Afriyie Nicholas Ashur | 2024/2/7 |
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors | Christopher Morse Lu Feng Matthew Dwyer Sebastian Elbaum | 2023/5/29 | |
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications | arXiv preprint arXiv:2310.01163 | Pian Yu Shuyang Dong Shili Sheng Lu Feng Marta Kwiatkowska | 2023/10/2 |
Explainable multi-agent reinforcement learning for temporal queries | arXiv preprint arXiv:2305.10378 | Kayla Boggess Sarit Kraus Lu Feng | 2023/5/17 |
Safe POMDP Online Planning via Shielding | arXiv preprint arXiv:2309.10216 | Shili Sheng David Parker Lu Feng | 2023/9/19 |
Formal methods in unmanned aerial vehicle swarm control for wildfire detection and monitoring | Negin Moghadasi Amar Kulkarni Dustin Crayton Robert Grissom James H Lambert | 2023/4/17 | |
Distributional Probabilistic Model Checking | arXiv preprint arXiv:2309.05584 | Ingy Elsayed-Aly David Parker Lu Feng | 2023/9/11 |
A Formal Method for the Analysis of the Veteran’s Ebenefits’ Website | Giovanna Camacho Matthew Bolton Jingan Peng Prashanth Wagle Lu Feng | 2023 | |
Introduction to the Special Issue on Runtime Verification | International Journal on Software Tools for Technology Transfer | Lu Feng Dana Fisman | 2023/8 |
CARNA: Characterizing Advanced heart failure Risk and hemodyNAmic phenotypes using learned multi-valued decision diagrams | arXiv preprint arXiv:2306.06801 | Josephine Lamp Yuxin Wu Steven Lamp Prince Afriyie Kenneth Bilchick | 2023/6/11 |
Logic-based reward shaping for multi-agent reinforcement learning | arXiv preprint arXiv:2206.08881 | Ingy ElSayed-Aly Lu Feng | 2022/6/17 |
Planning for automated vehicles with human trust | ACM Transactions on Cyber-Physical Systems | Shili Sheng Erfan Pakdamanian Kyungtae Han Ziran Wang John Lenneman | 2022/11/5 |
Multi-Objective Controller Synthesis with Uncertain Human Preferences | Shenghui Chen Kayla Boggess David Parker Lu Feng | 2022/5/4 | |
A study on learning and simulating personalized car-following driving style | Shili Sheng Erfan Pakdamanian Kyungtae Han Ziran Wang Lu Feng | 2022/10/8 | |
Systemic arterial pulsatility index (SAPi) predicts adverse outcomes in advanced heart failure patients | Heart and vessels | Sula Mazimba Hunter Mwansa Khadijah Breathett Jarred E Strickling Kajal Shah | 2022/10 |
Enjoy the Ride Consciously with CAWA: Context-Aware Advisory Warnings for Automated Driving | Erfan Pakdamanian Erzhen Hu Shili Sheng Sarit Kraus Seongkook Heo | 2022/9/17 | |
Toward Policy Explanations for Multi-Agent Reinforcement Learning | arXiv preprint arXiv:2204.12568 | Kayla Boggess Sarit Kraus Lu Feng | 2022/4/26 |
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems | arXiv preprint arXiv:2211.15413 | Maryam Bagheri Josephine Lamp Xugui Zhou Lu Feng Homa Alemzadeh | 2022/11/23 |