Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study.

Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian

Browse the full FMICS paper archive.