Controller verification in adaptive learning systems towards trusted autonomy.

Xiaodong Zhang Matthew A. Clark Kuldip S. Rattan Jonathan Muse

Published in: ICCPS (2015)

Keyphrases

adaptive learning systems
intelligent educational systems
learning objects
control system
model checking
educational material
database
databases
multi agent systems
user interface
learning materials