Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences.

Zhe Xu Yuxin Chen Ufuk Topcu

Published in: CoRR (2020)

Keyphrases

temporal logic
model checking
learning environment
learning process
temporally extended
e learning
learning systems
modal logic
teaching materials

thinking skills
concurrent systems
satisfiability problem
secondary school
verification method
mazurkiewicz traces
learning community
belief revision
computation tree logic

linear temporal logic
predicate logic
learning styles
linear time temporal logic
transition systems
learning materials
collaborative learning
learning experience
temporal knowledge

logical formulas
reactive systems
learning activities
formal verification
higher education
heuristic search
distance learning
reinforcement learning