Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

Andrea Peruffo Daniele Ahmed Alessandro Abate

Published in: TACAS (1) (2021)

Keyphrases

dynamical models
dynamical model
dynamical systems
gaussian process
visual tracking
human motion
particle filter
pose tracking
statistical models
motion model
image sequences
markov models
subject specific
hidden markov models