Safe Environmental Envelopes of Discrete Systems.

Rmulo Meira-Ges, Ian Dardik, Eunsuk Kang, Stphane Lafortune, Stavros Tripakis

Browse the full CAV paper archive.