conftrace_

trajectory stabilization

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

counterexample-guided synthesis (1) control lyapunov function (1) nonlinear system (1) learning from demonstration (1)

Papers

Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations RSS 2017