Login / Signup
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
Chiao Hsieh
Yangge Li
Dawei Sun
Keyur Joshi
Sasa Misailovic
Sayan Mitra
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
</>
real time
augmented reality
human computer interaction
reinforcement learning
model checking
human perception
control system
machine learning
vision system
visual perception
information retrieval
computer vision
least squares
exact solution
machine intelligence
iterative learning control