Login / Signup
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