Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Browse the full EMSOFT paper archive.