Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu 0001, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe. Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. In Cristiana Bolchini, Ingrid Verbauwhede, Ioana Vatajelu, editors, 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022. pages 532-537, IEEE, 2022. [doi]

This author has not been identified. Look up 'Jean-Baptiste Horel' in GoogleThis author has not been identified. Look up 'Christian Laugier' in GoogleThis author has not been identified. Look up 'Lina Marsso' in GoogleThis author has not been identified. Look up 'Radu Mateescu 0001' in GoogleThis author has not been identified. Look up 'Lucie Muller' in GoogleThis author has not been identified. Look up 'Anshul Paigwar' in GoogleThis author has not been identified. Look up 'Alessandro Renzaglia' in GoogleThis author has not been identified. Look up 'Wendelin Serwe' in Google

runs on WebDSL