Login / Signup
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:
ACC (2023)
Keyphrases
</>
qualitative and quantitative
precise definition
quantitative and qualitative
databases
theorem prover
database
data sets
face recognition
search algorithm