Algorithms for Validation

A broad, rigorous introduction to algorithms for validating safety-critical systems. Validation is a critical component of the development process for decision-making systems used in high-stakes settings,...