4 citations · 10 across the 4 of their papers we have counts for
4 papers
Causal Repair of Learning-enabled Cyber-physical Systems
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland +2
Models of actual causality leverage domain knowledge to generate convincing diagnoses of events that caused an outcome. It is promising to apply these models to diagnose and repair…
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning
Mengyu Liu, Pengyuan Lu, Xin Chen +3
We propose a model-free reinforcement learning solution, namely the ASAP-Phi framework, to encourage an agent to fulfill a formal specification ASAP. The framework leverages a piec…
Using Semantic Information for Defining and Detecting OOD Inputs
Ramneet Kaur, Xiayan Ji, Souradeep Dutta +5
As machine learning models continue to achieve impressive performance across different tasks, the importance of effective anomaly detection for such models has increased as well. I…
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data
Ramneet Kaur, Kaustubh Sridhar, Sangdon Park +4
Machine learning models are prone to making incorrect predictions on inputs that are far from the training distribution. This hinders their deployment in safety-critical applicatio…