Skip to contents

  1. Esper, Khalil [Author]; Spieck, Jan [Author]; Sixdenier, Pierre-Louis [Author]; Wildermann, Stefan [Author]; Teich, Jürgen [Author] ; Khalil Esper and Jan Spieck and Pierre-Louis Sixdenier and Stefan Wildermann and Jürgen Teich [Contributor]

    RAVEN: Reinforcement Learning for Generating Verifiable Run-Time Requirement Enforcers for MPSoCs

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023