An Adaptive Learning Feature Model Validation Methodology Based on Formal Methods.

Chenyu Wang Yi Zhu Mei Song

Published in: DSA (2023)

Keyphrases

formal methods
learning algorithm
learning process
databases
reinforcement learning
object oriented
feature set
learning systems
artificial intelligence
feature vectors
software engineering
knowledge acquisition
fault tolerant
adaptive learning
formal specification
model validation