liu.seSearch for publications in DiVA
Operational message
There are currently operational disruptions. Troubleshooting is in progress.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards Verification and Validation of Reinforcement Learning in Safety-Critical Systems: A Position Paper from the Aerospace Industry
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. Saab Aeronautics. (ReaL / AILAB)ORCID iD: 0000-0001-7906-8662
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, Faculty of Science & Engineering. Saab Aeronautics.ORCID iD: 0000-0001-8837-7344
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. (ReaL / AILAB)ORCID iD: 0000-0002-9595-2471
2021 (English)In: Robust and Reliable Autonomy in the Wild: Workshop at the International Joint Conferences on Artificial Intelligence, 2021Conference paper, Oral presentation only (Other academic)
Abstract [en]

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.

Place, publisher, year, edition, pages
2021.
Keywords [en]
Safe Reinforcement Learning, Verification and Validation, Safety-critical systems, Cyber-physical systems, Reinforcement Learning, Aerospace
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-180970OAI: oai:DiVA.org:liu-180970DiVA, id: diva2:1612356
Conference
Robust and Reliable Autonomy in the Wild, IJCAI 2021 Workshop, August 19, 2021
Projects
WASPAvailable from: 2021-11-18 Created: 2021-11-18 Last updated: 2024-09-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Link to paper

Authority records

Nikko, ErikSjanic, ZoranHeintz, Fredrik

Search in DiVA

By author/editor
Nikko, ErikSjanic, ZoranHeintz, Fredrik
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & EngineeringAutomatic Control
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 499 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf