Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models.

Alec Edwards Andrea Peruffo Alessandro Abate

Published in: CoRR (2023)

Keyphrases

dynamical models
dynamical systems
gaussian process
dynamical model
particle filter
video sequences
bayesian inference
pose tracking