2 papers
cs.LG2024
Modeling and Discovering Direct Causes for Predictive Models
Yizuo Chen, Amit Bhatia
We introduce a causal modeling framework that captures the input-output behavior of predictive models (e.g., machine learning models). The framework enables us to identify features…
math.OC2008
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
Amit Bhatia, Emilio Frazzoli
In this paper, we describe a novel approach for checking safety specifications of a dynamical system with exogenous inputs over infinite time horizon that is guaranteed to terminat…