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

Pauline Blohm, Julius Adelt, Paula Herber. Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. In 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023. pages 12-22, IEEE, 2023. [doi]

Abstract

Abstract is missing.