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

Pauline Blohm Julius Adelt Paula Herber

Published in: MEMOCODE (2023)

Keyphrases

model checking
finite state machines
timed automata
temporal logic
reinforcement learning
temporal properties
learning algorithm
formal specification
verification method
bounded model checking
multi agent
finite state
automated verification