Technical articles · Date not stated
TIGARS guidance on the scope and limits of ML formal verification
2.3.3 Verification of the learned model
Overview
Reviews static analysis and formal verification for ML models used in autonomous vehicles. It discusses pointwise robustness, functional specifications and tools, stressing the need to explain which assurance claims are actually supported by guarantees over restricted input regions.