Compositional Verification of Probabilistic Systems Using Learning. - Lu Feng 001; Marta Z. Kwiatkowska; David Parker 001 (QEST, 2010)

Learning-Based Compositional Verification for Synchronous Probabilistic Systems. - Lu Feng 001; Tingting Han 001; Marta Z. Kwiatkowska; David Parker 001 (ATVA, 2011)

Automated Learning of Probabilistic Assumptions for Compositional Reasoning. - Lu Feng 001; Marta Z. Kwiatkowska; David Parker 001 (FASE, 2011)

Assuring the safety of on-demand medical cyber-physical systems. - Andrew L. King; Lu Feng 001; Oleg Sokolsky; Insup Lee 001 (CPSNA, 2013)

A Modal Specification Approach for On-Demand Medical Systems. - Andrew L. King; Lu Feng 001; Oleg Sokolsky; Insup Lee 001 (FHIES, 2013)

Exploring the twin peaks using probabilistic verification techniques. - Anitha Murugesan; Lu Feng 001; Mats Per Erik Heimdahl; Sanjai Rayadurgam; Michael W. Whalen; Insup Lee 001 (TwinPeaks, 2014)

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. - Lu Feng 001; Andrew L. King; Sanjian Chen; Anaheed Ayoub; Junkil Park; Nicola Bezzo; Oleg Sokolsky; Insup Lee 001 (MCPS, 2014)

On learning assumptions for compositional verification of probabilistic systems. - Lu Feng 001 (2014)

Platform-specific timing verification framework in model-based implementation. - BaekGyu Kim; Lu Feng 001; Linh T. X. Phan; Oleg Sokolsky; Insup Lee 001 (DATE, 2015)

Controller synthesis for autonomous systems interacting with human operators. - Lu Feng 001; Clemens Wiltsche; Laura R. Humphrey; Ufuk Topcu (ICCPS, 2015)

A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. - Sanjian Chen; Lu Feng 001; Michael R. Rickels; Amy Peleckis; Oleg Sokolsky; Insup Lee 001 (ICHI, 2015)

Platform-Specific Code Generation from Platform-Independent Timed Models. - BaekGyu Kim; Lu Feng 001; Oleg Sokolsky; Insup Lee 001 (RTSS, 2015)

Towards Assurance for Plug & Play Medical Systems. - Andrew L. King; Lu Feng 001; Sam Procter; Sanjian Chen; Oleg Sokolsky; John Hatcliff; Insup Lee 001 (SAFECOMP, 2015)

Human-interpretable diagnostic information for robotic planning systems. - Lu Feng 001; Laura R. Humphrey; Insup Lee 001; Ufuk Topcu (IROS, 2016)

Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems. - Lu Feng 001; Clemens Wiltsche; Laura R. Humphrey; Ufuk Topcu (IEEE Trans Autom. Sci. Eng., 2016)

Runtime Monitoring of Safety and Performance Requirements in Smart Cities. - Meiyi Ma; John A. Stankovic; Lu Feng 001 (SafeThings@SenSys, 2017)

Cityresolver: a decision support system for conflict resolution in smart cities. - Meiyi Ma; John A. Stankovic; Lu Feng 001 (ICCPS, 2018)

Counterexamples for Robotic Planning Explained in Structured Language. - Lu Feng 001; Mahsa Ghasemi; Kai-Wei Chang; Ufuk Topcu (ICRA, 2018)

DAMON: A Data Authenticity Monitoring System for Diabetes Management. - William Young; John Corbett; Matthew S. Gerber; Stephen Patek; Lu Feng 001 (IoTDI, 2018)

Attack-Resilient Sensor Fusion for Cooperative Adaptive Cruise Control. - Pengyuan Lu; Limin Zhang; B. Brian Park; Lu Feng 001 (ITSC, 2018)

The Effect of Whole-Body Haptic Feedback on Driver's Perception in Negotiating a Curve. - Erfan Pakdamanian; Lu Feng 001; Inki Kim (CoRR, 2018)

A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. - Josephine Lamp; Simone Silvetti; Marc D. Breton; Laura Nenzi; Lu Feng 001 (CMSB, 2019)

A Case Study of Trust on Autonomous Driving. - Shili Sheng; Erfan Pakdamanian; Kyungtae Han; BaekGyu Kim; Prashant Tiwari; Inki Kim; Lu Feng 001 (ITSC, 2019)

Performance Modeling and Verification of Load Balancing in Cloud Systems Using Formal Methods. - Shenghui Chen; Zhiming Fan; Haiying Shen; Lu Feng 001 (MASS Workshops, 2019)

Runtime Monitoring of Real time Safety Requirements in Smart Cities. - Meiyi Ma; Ezio Bartocci; Lu Feng 001; John A. Stankovic (CoRR, 2019)

EyeCar: Modeling the Visual Attention Allocation of Drivers in Semi-Autonomous Vehicles. - Sonia Baee; Erfan Pakdamanian; Vicente Ordonez; Inki Kim; Lu Feng 001; Laura E. Barnes (CoRR, 2019)

Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. - BaekGyu Kim; Lu Feng 001; Oleg Sokolsky; Insup Lee 001 (ACM Trans. Cyber Phys. Syst., 2019)

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 001 (AutomotiveUI (adjunct), 2020)

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. - Meiyi Ma; Ezio Bartocci; Eli Lifland; John A. Stankovic; Lu Feng 001 (ICCPS, 2020)

Towards Transparent Robotic Planning via Contrastive Explanations. - Shenghui Chen; Kayla Boggess; Lu Feng 001 (IROS, 2020)

STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks. - Meiyi Ma; Ji Gao; Lu Feng 001; John A. Stankovic (NeurIPS, 2020)

Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. - Meiyi Ma; Ezio Bartocci; John A. Stankovic; Lu Feng 001 (SenSys, 2020)

CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. - Meiyi Ma; John A. Stankovic; Ezio Bartocci; Lu Feng 001 (CoRR, 2020)

Towards Personalized Explanation of Robotic Planning via User Feedback. - Kayla Boggess; Shenghui Chen; Lu Feng 001 (CoRR, 2020)

Probabilistic Conditional System Invariant Generation with Bayesian Inference. - Meriel von Stein; Sebastian G. Elbaum; Lu Feng 001; Shili Sheng (CoRR, 2020)

Safe Multi-Agent Reinforcement Learning via Shielding. - Ingy Elsayed-Aly; Suda Bharadwaj; Christopher Amato; Rüdiger Ehlers; Ufuk Topcu; Lu Feng 001 (AAMAS, 2021)

DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data. - Erfan Pakdamanian; Shili Sheng; Sonia Baee; Seongkook Heo; Sarit Kraus; Lu Feng 001 (CHI, 2021)

A smart city simulation platform with uncertainty. - Shuyang Dong; Meiyi Ma; Lu Feng 001 (ICCPS, 2021)

Trust-based route planning for automated vehicles. - Shili Sheng; Erfan Pakdamanian; Kyungtae Han; Ziran Wang; John Lenneman; Lu Feng 001 (ICCPS, 2021)

MEDIRL: Predicting the Visual Attention of Drivers via Maximum Entropy Deep Inverse Reinforcement Learning. - Sonia Baee; Erfan Pakdamanian; Inki Kim; Lu Feng 001; Vicente Ordonez; Laura E. Barnes (ICCV, 2021)

Toward Formal Methods for Smart Cities. - Meiyi Ma; John A. Stankovic; Lu Feng 001 (Computer, 2021)

A Graduate Curriculum in Cyber-Physical Systems. - John A. Stankovic; Homa Alemzadeh; Brad Campbell; John C. Lach; Lu Feng 001; Cody H. Fleming; Jonathan L. Goodall; Toluwalogo Odumosu; Daniel Quinn; Yuan Tian 001; Kelley Tobler (IEEE Des. Test, 2021)

A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. - Meiyi Ma; Ezio Bartocci; Eli Lifland; John A. Stankovic; Lu Feng 001 (IEEE Internet Things J., 2021)

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. - Meiyi Ma; John A. Stankovic; Ezio Bartocci; Lu Feng 001 (ACM Trans. Embed. Comput. Syst., 2021)

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 001 (UI, 2022)

Multi-Objective Controller Synthesis with Uncertain Human Preferences. - Shenghui Chen; Kayla Boggess; David Parker 001; Lu Feng 001 (ICCPS, 2022)

Toward Policy Explanations for Multi-Agent Reinforcement Learning. - Kayla Boggess; Sarit Kraus; Lu Feng 001 (IJCAI, 2022)

A Study on Learning and Simulating Personalized Car-Following Driving Style. - Shili Sheng; Erfan Pakdamanian; Kyungtae Han; Ziran Wang; Lu Feng 001 (ITSC, 2022)

Logic-based Reward Shaping for Multi-Agent Reinforcement Learning. - Ingy Elsayed-Aly; Lu Feng 001 (CoRR, 2022)

Planning for Automated Vehicles with Human Trust. - Shili Sheng; Erfan Pakdamanian; Kyungtae Han; Ziran Wang; John Lenneman; David Parker 001; Lu Feng 001 (ACM Trans. Cyber Phys. Syst., 2022)

Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems. - Maryam Bagheri 001; Josephine Lamp; Xugui Zhou; Lu Feng 001; Homa Alemzadeh (SafeAI@AAAI, 2023)

A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors. - Christopher Morse; Lu Feng 001; Matthew B. Dwyer; Sebastian G. Elbaum (ICRA, 2023)

Explainable Multi-Agent Reinforcement Learning for Temporal Queries. - Kayla Boggess; Sarit Kraus; Lu Feng 001 (IJCAI, 2023)

GlucoSynth: Generating Differentially-Private Synthetic Glucose Traces. - Josephine Lamp; Mark Derdzinski; Christopher Hannemann; Joost van der Linden; Lu Feng 001; Tianhao Wang 001; David E. Evans 001 (NeurIPS, 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 001 (SysCon, 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 001; Sula Mazimba (CoRR, 2023)

Introduction to the Special Issue on Runtime Verification. - Lu Feng 001; Dana Fisman (Int. J. Softw. Tools Technol. Transf., 2023)

Artifact for: Distributional Probabilistic Model Checking. - Ingy Elsayed-Aly; David Parker 001; Lu Feng 001 (Zenodo, 2023)

Artifact for: Distributional Probabilistic Model Checking. - Ingy Elsayed-Aly; David Parker 001; Lu Feng 001 (Zenodo, 2023)

Safe POMDP Online Planning via Shielding. - Shili Sheng; David Parker 001; Lu Feng 001 (ICRA, 2024)

Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. - Pian Yu; Shuyang Dong; Shili Sheng; Lu Feng 001; Marta Kwiatkowska (ICRA, 2024)

ADESSE: Advice Explanations in Complex Repeated Decision-Making Environments. - Sören Schleibaum; Lu Feng 001; Sarit Kraus; Jörg P. Müller (IJCAI, 2024)

Distributional Probabilistic Model Checking. - Ingy Elsayed-Aly; David Parker 001; Lu Feng 001 (NFM, 2024)

DP-RuL: Differentially-Private Rule Learning for Clinical Decision Support Systems. - Josephine Lamp; Lu Feng 001; David Evans 001 (CoRR, 2024)

Adaptive Reward Design for Reinforcement Learning in Complex Robotic Tasks. - Minjae Kwon; Ingy Elsayed-Aly; Lu Feng 001 (CoRR, 2024)

Introduction to the Special Issue on ICCPS 2023. - Lu Feng 001; Abhishek Dubey (ACM Trans. Cyber Phys. Syst., 2024)

Safe POMDP Online Planning Among Dynamic Agents via Adaptive Conformal Prediction. - Shili Sheng; Pian Yu; David Parker 001; Marta Kwiatkowska; Lu Feng 001 (IEEE Robotics Autom. Lett., 2024)

Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. - Shuyang Dong; Meiyi Ma; Josephine Lamp; Sebastian G. Elbaum; Matthew B. Dwyer; Lu Feng 001 (AAAI, 2025)

Towards Computational Foreseeability. - Sarit Kraus; Kayla Boggess; Robert Kim; Bryan H. Choi; Lu Feng 001 (AAAI, 2025)

Adaptive Reward Design for Reinforcement Learning. - Minjae Kwon; Ingy Elsayed-Aly; Lu Feng 001 (UAI, 2025)

Evaluating Human Trust in LLM-Based Planners: A Preliminary Study. - Shenghui Chen; Yunhao Yang; Kayla Boggess; Seongkook Heo; Lu Feng 001; Ufuk Topcu (CoRR, 2025)

Runtime Safety through Adaptive Shielding: From Hidden Parameter Inference to Provable Guarantees. - Minjae Kwon; Tyler Ingebrand; Ufuk Topcu; Lu Feng 001 (CoRR, 2025)