Evaluating Two Semantics for Falsification using an Autonomous Driving Example
Paper i proceeding, 2019
Max Semantics
Falsification
Mean Alternative Robustness Value
Testing
Autonomous Driving.
Författare
Zahra Ramezani
Chalmers, Elektroteknik, System- och reglerteknik, Automation
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Funktionell programmering
Martin Fabian
Chalmers, Elektroteknik, System- och reglerteknik, Automation
Knut Åkesson
Chalmers, Elektroteknik, System- och reglerteknik, Automation
2019 IEEE 17th International Conference on Industrial Informatics (INDIN)
1935-4576 (ISSN) 2378-363x (eISSN)
386-391Helsinki, Finland,
Systematisk testning av cyberfysiska system (SyTeC)
Vetenskapsrådet (VR), 2017-01-01 -- 2022-12-31.
Fundament
Grundläggande vetenskaper
Ämneskategorier
Reglerteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1109/INDIN41052.2019.8972229
ISBN
9781728129273