# Statistical Verification of the Toyota Powertrain Control Verification Benchmark

> Research article (Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017) · cited 26× · AI/ML

**Wikidata**: [openalex:W2606486293](https://www.wikidata.org/wiki/openalex:W2606486293)  
**Source**: https://4ort.xyz/entity/statistical-verification-of-the-toyota-powertrain-control-verification-benchmark