elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

MILP-based repair of learned controllers: a case study

Guidotti, Dario and Leofante, Francesco and Castellini, Claudio and Tacchella, Armando (2019) MILP-based repair of learned controllers: a case study. In: CPAIOR 2019 - International Conference on Constraint Programming, Artificial Intelligence, and Operations Research, 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

[img] 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:MILP-based repair of learned controllers: a case study
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Guidotti, DarioUniversität Genua, ItalienUNSPECIFIED
Leofante, FrancescoUniversität Genua, ItalienUNSPECIFIED
Castellini, ClaudioClaudio.Castellini (at) dlr.dehttps://orcid.org/0000-0002-7346-2180
Tacchella, ArmandoUniversität Genua, ItalienUNSPECIFIED
Date:2019
Journal or Publication Title:CPAIOR 2019 - International Conference on Constraint Programming, Artificial Intelligence, and Operations Research
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
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 Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Vorhaben Intelligente Mobilität
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:31 Jul 2019 20:25

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.