Book details
Algorithms for Validation
Categories Algorithms
Algorithms for Validation introduces methods for assessing safety-critical systems, from modeling systems and specifying properties to identifying and analyzing failures. It covers optimization- and planning-based falsification, failure probability estimation, reachability analysis for linear, nonlinear, and discrete systems, explainability, and runtime monitoring.
