Guidotti, Dario and Leofante, Francesco and Castellini, Claudio and Tacchella, Armando (2019) Repairing Learned Controllers with Convex Optimization: A Case Study. In: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, 11494, pp. 364-373. Springer Verlag. Proceedings of CPAIOR - Constraint Programming, Artificial Intelligence and Operational Research, Thessaloniki, Griechenland. doi: 10.1007/978-3-030-19212-9_24.
![]() |
PDF
614kB |
Official URL: https://link.springer.com/chapter/10.1007%2F978-3-030-19212-9_24
Item URL in elib: | https://elib.dlr.de/128468/ | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||
Title: | Repairing Learned Controllers with Convex Optimization: A Case Study | ||||||||||||||||||||
Authors: |
| ||||||||||||||||||||
Date: | 2019 | ||||||||||||||||||||
Journal or Publication Title: | 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019 | ||||||||||||||||||||
Refereed publication: | Yes | ||||||||||||||||||||
Open Access: | Yes | ||||||||||||||||||||
Gold Open Access: | No | ||||||||||||||||||||
In SCOPUS: | Yes | ||||||||||||||||||||
In ISI Web of Science: | No | ||||||||||||||||||||
Volume: | 11494 | ||||||||||||||||||||
DOI: | 10.1007/978-3-030-19212-9_24 | ||||||||||||||||||||
Page Range: | pp. 364-373 | ||||||||||||||||||||
Publisher: | Springer Verlag | ||||||||||||||||||||
Series Name: | Lecture Notes in Computer Science | ||||||||||||||||||||
Status: | Published | ||||||||||||||||||||
Keywords: | formal methods, formal verification, myocontrol, human-machine interaction | ||||||||||||||||||||
Event Title: | Proceedings of CPAIOR - Constraint Programming, Artificial Intelligence and Operational Research | ||||||||||||||||||||
Event Location: | Thessaloniki, Griechenland | ||||||||||||||||||||
Event Type: | international Conference | ||||||||||||||||||||
HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||||||
HGF - Program: | Space | ||||||||||||||||||||
HGF - Program Themes: | Space System Technology | ||||||||||||||||||||
DLR - Research area: | Raumfahrt | ||||||||||||||||||||
DLR - Program: | R SY - Space System Technology | ||||||||||||||||||||
DLR - Research theme (Project): | R - Vorhaben Intelligente Mobilität (old) | ||||||||||||||||||||
Location: | Oberpfaffenhofen | ||||||||||||||||||||
Institutes and Institutions: | Institute of Robotics and Mechatronics (since 2013) > Cognitive Robotics | ||||||||||||||||||||
Deposited By: | Castellini, Dr. Claudio | ||||||||||||||||||||
Deposited On: | 22 Jul 2019 10:01 | ||||||||||||||||||||
Last Modified: | 11 Aug 2023 08:27 |
Repository Staff Only: item control page