Verifying robust frequency domain properties of non linear oscillators using SMT.

Hafiz ul Asad, Kevin D. Jones, Frdric Surre

Browse the full DDECS paper archive.