TOrPEDO: witnessing model correctness with topological proofs.

Claudio Menghi Alessandro Maria Rizzi Anna Bernasconi Paola Spoletini

Published in: Formal Aspects Comput. (2021)

Keyphrases

management system
computational model
data mining
computer vision
database
objective function
prior knowledge
statistical model
mathematical model
theoretical framework
autoregressive
formal model
simulation model
theoretical analysis
input data
probabilistic model
mobile robot
feature selection