Login / Signup
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions.
Chiao Hsieh
Keyur Joshi
Sasa Misailovic
Sayan Mitra
Published in:
CoRR (2021)
Keyphrases
</>
neural network
learning algorithm
reinforcement learning
object recognition
control system
artificial neural networks
model checking