Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract).
Imane LamraniAyan BanerjeeSandeep K. S. GuptaPublished in: AAAI (2020)
Keyphrases
- artificial intelligence
- safety analysis
- knowledge level
- case based reasoning
- learning environment
- expert systems
- student model
- student learning
- intelligent tutoring systems
- intelligent systems
- model checking
- learning process
- ai systems
- higher level
- online course
- low level
- high level
- air traffic
- safety critical
- intelligent behavior
- signature verification
- high school students
- formal methods
- knowledge representation
- face verification
- online learning
- nuclear power plant
- ai community
- learning styles