Requirements, invariance, counter-examples, inductive proofs, assumptions

Convolution, properties, linearity, shift-invariance, Gaussian, separability, median filter, nonlinearity

Derivative and gradient filters, Canny edge detector

Bag of visual words, visual vocabulary, clustering, k-nearest neighbor classification

Lane detection in video and simulation

Control hierarchy, open and closed loop control, Dubin's vehicle model, state variables, control inputs

Stability. conditions for linear systems, Hurwitz, eigenvalues, full-state feedback control design

Informed and uninformed search, cost to come and cost to go, heuristic functions, optimal heuristics, A* search

Hybrid A*, heuristic functions, consistent and admissible, K means clustering

Path Planning

State estimation problem, localization terms, probabilistic models, measurement models, Bayes rule, Discrete Bayes filter

Particle filters, importance sampling

Safety standards, verification problem, discrete models, examples

Satisfiability, verification, localization and filtering, searching