Sign in
A quantitative and constructive proof of Willems' Fundamental Lemma and its implications.
Julian Berberich
Andrea Iannelli
Alberto Padoan
Jeremy Coulson
Florian Dörfler
Frank Allgöwer
Published in:
CoRR (2022)
Keyphrases
</>
qualitative and quantitative
computer vision
theorem proving
precise definition
databases
neural network
database
image processing
clustering algorithm
trade off
logic programming
proof planning