Learning dynamic polynomial proofs

4 June 2019

Papers citing "Learning dynamic polynomial proofs"

2 / 2 papers shown

Title
The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence G. Marcus VLM 32 353 0 14 Feb 2020
Control Design along Trajectories with Sums of Squares Programming Anirudha Majumdar Amir Ali Ahmadi Russ Tedrake 110 139 0 02 Oct 2012