@inbook{aac2fab6e25c4acab981da31609f4e63,
title = "Correct-by-Construction Runtime Enforcement in AI – A Survey",
abstract = "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 approaches 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.",
keywords = "Formal methods, Reinforcement learning, Runtime enforcement, Safety in AI, Shielding",
author = "Bettina K{\"o}nighofer and Roderick Bloem and R{\"u}diger Ehlers and Christian Pek",
note = "Publisher Copyright: {\textcopyright} 2022, Springer Nature Switzerland AG.",
year = "2022",
doi = "10.1007/978-3-031-22337-2_31",
language = "English",
isbn = "978-3-031-22336-5",
series = "Lecture Notes in Computer Science ",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "650--663",
editor = "JF Raskin and R. Bloem and R. Ehlers and C. Pek",
booktitle = "Principles of Systems Design",
address = "Germany",
}