Stochastic modeling, control, and verification of wild bodies.

Daniel Erik Gierl Leonardo Bobadilla Oscar Sanchez Steven M. LaValle

Published in: ICRA (2014)

Keyphrases

control system
control method
model checking
control problems
process control
neural network
adaptive control
data mining
knowledge base
multiscale
cooperative
artificial neural networks
control strategies
face verification
formal methods