Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods.

Adina Aniculaesei, Andreas Vorwald, Meng Zhang, Andreas Rausch

Browse the full ICSA paper archive.