Computer-aided verification of matrix Riccati algorithms.

Vassilios A. Tsachouridis Georgios Giantamidis

Published in: CDC (2019)

Keyphrases

computer aided
linear algebra
image analysis
computer assisted
learning algorithm
computer aided design
data structure
matrix multiplication
image processing
computer aided diagnosis