Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox.

Julius Adelt, Timm Liebrenz, Paula Herber

Browse the full FM paper archive.