Login / Signup
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