Safety Verification of Non-linear, Planar Proportional Control with Differential Inclusions.

Hallstein Asheim Hansen

Browse the full TrustCom paper archive.