Safe Integration of Learning in SystemC using Timed Contracts and Model Checking.

Pauline Blohm, Julius Adelt, Paula Herber

Browse the full MEMOCODE paper archive.