Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems.

Julius Adelt, Daniel Brettschneider, Paula Herber

Browse the full ATVA paper archive.