Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

Andrea Peruffo Daniele Ahmed Alessandro Abate

Published in: CoRR (2020)

Keyphrases

dynamical models
dynamical model
dynamical systems
gaussian process
human motion
pose tracking
statistical models
visual tracking
motion model
maximum entropy
reinforcement learning
multi view
human body