DMCA

Infinite Horizon Safety Controller Synthesis through Disjunctive Polyhedral Abstract Interpretation.

by Hadi Ravanbakhsh , Sriram Sankaranarayanan