Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems.

Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Archiga, Soonho Kong

Browse the full CAV paper archive.