Automatic Verification of Finite Precision Implementations of Linear Controllers.

Junkil Park Miroslav Pajic Oleg Sokolsky Insup Lee

Published in: TACAS (1) (2017)

Keyphrases

finite automata
control system
high precision
linear systems
reinforcement learning
efficient implementation
neural network
precision and recall
average precision