Automatically learning formal models: an industrial case from autonomous driving development.

Yuvaraj Selvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Martin Fabian

Browse the full MODELS paper archive.