kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
Correct-by-Construction Runtime Enforcement in AI: A Survey
Graz University of Technology, Institute IAIK.ORCID iD: 0000-0001-5183-5452
Graz University of Technology, Institute IAIK.ORCID iD: 0000-0002-1411-5744
Clausthal University of Technology.
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0001-7461-920X
2022 (English)In: Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Ocasion of His 60th Birthday, Springer Nature , 2022, p. 650-663Chapter in book (Refereed)
Abstract [en]

Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior with respect to a formal specification of systems at runtime. In this paper, we are interested in techniques for constructing runtime enforcers for the concrete application domain of enforcing safety in AI. We discuss how safety is traditionally handled in the field of AI and how more formal guarantees on the safety of a self- learning agent can be given by integrating a runtime enforcer. We survey a selection of work on such enforcers, where we distinguish between ap- proaches for discrete and continuous action spaces. The purpose of this paper is to foster a better understanding of advantages and limitations of different enforcement techniques, focusing on the specific challenges that arise due to their application in AI. Finally, we present some open challenges and avenues for future work.

Place, publisher, year, edition, pages
Springer Nature , 2022. p. 650-663
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 13660
Keywords [en]
Formal methods, Reinforcement learning, Runtime enforcement, Safety in AI, Shielding
National Category
Robotics and automation
Identifiers
URN: urn:nbn:se:kth:diva-316880DOI: 10.1007/978-3-031-22337-2_31Scopus ID: 2-s2.0-85145659534OAI: oai:DiVA.org:kth-316880DiVA, id: diva2:1692176
Note

QC 20231017

Available from: 2022-09-01 Created: 2022-09-01 Last updated: 2025-02-09Bibliographically approved

Open Access in DiVA

fulltext(179 kB)193 downloads
File information
File name FULLTEXT01.pdfFile size 179 kBChecksum SHA-512
cee526b917423bde7e4a23b8afd7a1df84c06607cf6f1ac4d6efd2d083ae3c2505419823984af466269a24fa1d6cd62736b0f54b19a75ad072fd8916b6c886c2
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Pek, Christian

Search in DiVA

By author/editor
Könighofer, BettinaBloem, RoderickPek, Christian
By organisation
Robotics, Perception and Learning, RPL
Robotics and automation

Search outside of DiVA

GoogleGoogle Scholar
Total: 193 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 113 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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