Automata Learning meets Shielding

1 code implementation • 4 Dec 2022 • Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muškardin, Roderick Bloem, Kim Larsen

Iteratively, we use the collected data to learn new MDPs with higher accuracy, resulting in turn in shields able to prevent more safety violations.

Q-Learning Reinforcement Learning (RL)