@inproceedings{0a18edbf532a4b9cb184f427d0b75d38,
title = "Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications",
keywords = "cyber-physical systems, DNN repair, neural network controllers",
author = "Deyun Lyu and Zhenya Zhang and Paolo Arcaini and Fuyuki Ishikawa and Thomas Laurent and Jianjun Zhao",
note = "Publisher Copyright: {\textcopyright} 2024 Copyright is held by the owner/author(s). Publication rights licensed to ACM.; 2024 Genetic and Evolutionary Computation Conference, GECCO 2024 ; Conference date: 14-07-2024 Through 18-07-2024",
year = "2024",
month = jul,
day = "14",
doi = "10.1145/3638529.3654078",
language = "English",
series = "GECCO 2024 - Proceedings of the 2024 Genetic and Evolutionary Computation Conference",
publisher = "Association for Computing Machinery, Inc",
pages = "1435--1444",
booktitle = "GECCO 2024 - Proceedings of the 2024 Genetic and Evolutionary Computation Conference",
}