Sökning: onr:"swepub:oai:DiVA.org:liu-180970" >
Towards Verificatio...
-
Nikko, ErikLinköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten,Saab Aeronautics,ReaL / AILAB
(författare)
Towards Verification and Validation of Reinforcement Learning in Safety-Critical Systems : A Position Paper from the Aerospace Industry
- Artikel/kapitelEngelska2021
Förlag, utgivningsår, omfång ...
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:liu-180970
-
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-180970URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:vet swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
Reinforcement learning techniques have successfully been applied to solve challenging problems. Among the more famous examples are playing games such as Go and real-time computer games such as StarCraft II. In addition, reinforcement learning has successfully been deployed in cyber-physical systems such as robots playing a curling-based game. These are all important and significant achievements indicating that the techniques can be of value for the aerospace industry. However, to use these techniques in the aerospace industry, very high requirements on verification and validation must be met. In this position paper, we outline four key problems for verification and validation of reinforcement learning techniques. Solving these are an important step towards enabling reinforcement learning techniques to be used in safety critical domains such as the aerospace industry.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Sjanic, Zoran,1975-Linköpings universitet,Reglerteknik,Tekniska fakulteten,Saab Aeronautics(Swepub:liu)zorsj26
(författare)
-
Heintz, Fredrik,1975-Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten,ReaL / AILAB(Swepub:liu)frehe08
(författare)
-
Linköpings universitetArtificiell intelligens och integrerade datorsystem
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Robust and Reliable Autonomy in the Wild, International Joint Conferences on Artificial Intelligence
Internetlänk