Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.

Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard

Browse the full ATVA paper archive.