Verifiably Safe Off-Model Reinforcement Learning

DOI10.1007/978-3-030-17462-0_28zbMath1527.68175arXiv1902.05632OpenAlexW3104303413MaRDI QIDQ6091337

Nathan Fulton, André Platzer

Publication date: 24 November 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.05632

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Related Items (2)

Deep reinforcement learning with temporal logics ⋮ Verification-guided programmatic controller synthesis

This page was built for publication: Verifiably Safe Off-Model Reinforcement Learning