Barrier Certificates for Assured Machine Teaching.
Mohamadreza AhmadiBo WuYuxin ChenYisong YueUfuk TopcuPublished in: ACC (2019)
Keyphrases
- e learning
- distance learning
- high school
- online learning
- computer programming
- flowshop
- learning systems
- learning process
- learning environment
- access control
- distance education
- educational technology
- scientific inquiry
- higher education
- learning in higher education
- st century
- real time
- educational systems
- educational software
- teaching mathematics
- public key
- science education
- cooperative learning
- web based learning
- hong kong
- case study
- data sets