Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 19, 2019
Source ID
10.1007/s10817-018-09509-5

Entities

People

  • Alexandre DonzĂ©
  • Sanjit A. Seshia
  • Tommaso Dreossi

Organizations

  • Defense Advanced Research Projects Agency

Tags

Technology Areas

  • AI & ML
  • Cyber