Learning-based black box checking for k-safety hyperproperties.

Naomi Kuze Keiichiro Seno Toshimitsu Ushio

Published in: Eng. Appl. Artif. Intell. (2023)

Keyphrases

black box
learning process
black boxes
learning algorithm
reinforcement learning
supervised learning
learning systems
adaptive learning
case study
online learning
learning tasks
artificial intelligence
active learning
autonomous robots
rule extraction