Relevant Safety Falsification by Automata Constrained Reinforcement Learning

Cronrath, Constantin; Huck, Tom; Ledermann, Christoph; Kröger, Torsten; Lennartsson, Bengt

IEEE CASE | 2022