Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract).

Imane Lamrani Ayan Banerjee Sandeep K. S. Gupta

Published 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