Fingerprint
Dive into the research topics of 'Statistical verification of the Toyota Powertrain Control Verification Benchmark'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Statistical verification of the Toyota Powertrain Control Verification Benchmark
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution