Synthesizing Pareto-Optimal Interpretations for Black-Box Models.

Hazem Torfah Shetal Shah Supratik Chakraborty S. Akshay Sanjit A. Seshia

Published in: FMCAD (2021)

Keyphrases

black box
pareto optimal
hybrid systems
black boxes
multi objective
databases
linear programming
software agents
multi objective optimization
white box
white box testing