Counterexample-Guided Synthesis of Perception Models and Control.

Shromona Ghosh Hadi Ravanbakhsh Sanjit A. Seshia

Published in: CoRR (2019)

Keyphrases

probabilistic model
control system
control method
real time
information retrieval
complex systems
control strategy
gaze control
neural network
artificial intelligence
decision trees
bayesian networks
parameter estimation
process model
neural network model
perception action