Citation Formats

MLA

Ravanbakhsh, Hadi. Inductive Certificate Synthesis for Control Design.

APA

Ravanbakhsh, H. Inductive Certificate Synthesis for Control Design.

Chicago

Ravanbakhsh, Hadi. Inductive Certificate Synthesis for Control Design.