Decidability of Hybrid Systems with Rectangular Differential Inclusion.

Anuj Puri, Pravin Varaiya

Browse the full CAV paper archive.