Accelerated synthesis of neural network-based barrier certificates using collaborative learning.
Jun XiaMing HuXin ChenMingsong ChenPublished in: DAC (2022)
Keyphrases
- collaborative learning
- computer mediated
- neural network
- computer supported
- content analysis
- learning outcomes
- program synthesis
- access control
- individual learning
- student learning
- computer supported collaborative learning
- knowledge construction
- learning process
- group formation
- computer mediated communication
- public key
- knowledge building
- collaborative activities
- texture synthesis
- group learning
- collaborative learning environment
- communication tools
- learning processes
- collaborative learning activities
- group interaction
- computer supported collaboration