Multiple Objective Functions for Falsification of Cyber-Physical Systems
Paper in proceeding, 2020
Multiple Objective Functions
Testing
Cyber-Physical Systems
Falsification
Author
Zahra Ramezani
Chalmers, Electrical Engineering, Systems and control
Johan Lidén Eddeland
Chalmers, Electrical Engineering, Systems and control
Koen Claessen
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Martin Fabian
Chalmers, Electrical Engineering, Systems and control
Knut Åkesson
Chalmers, Electrical Engineering, Systems and control
Published in
IFAC-PapersOnLine
24058971 (ISSN) 24058963 (eISSN)
Vol. 53 Issue 4 p. 417-422Conference
Rio, Brazil, 2020-11-10 - 2020-11-12
Categorizing
Roots
Basic sciences
Subject Categories (SSIF 2011)
Embedded Systems
Computer Science
Computer Vision and Robotics (Autonomous Systems)
Identifiers
DOI
10.1016/j.ifacol.2021.04.040