A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function. - Amir Ali Ahmadi; Bachir El Khadir (Syst. Control. Lett., 2018)

Teleoperator Imitation with Continuous-Time Safety. - Bachir El Khadir; Jacob Varley; Vikas Sindhwani (Robotics: Science and Systems, 2019)

Teleoperator Imitation with Continuous-time Safety. - Bachir El Khadir; Jake Varley; Vikas Sindhwani (CoRR, 2019)

On Sum of Squares Representation of Convex Forms and Generalized Cauchy-Schwarz Inequalities. - Bachir El Khadir (SIAM J. Appl. Algebra Geom., 2020)

On Algebraic Proofs of Stability for Homogeneous Vector Fields. - Amir Ali Ahmadi; Bachir El Khadir (IEEE Trans. Autom. Control., 2020)

Piecewise-Linear Motion Planning amidst Static, Moving, or Morphing Obstacles. - Bachir El Khadir; Jean-Bernard Lasserre; Vikas Sindhwani (ICRA, 2021)

Integration of Data and Theory for Accelerated Derivable Symbolic Discovery. - Cristina Cornelio; Sanjeeb Dash; Vernon Austel; Tyler R. Josephson; Joao Goncalves; Kenneth L. Clarkson; Nimrod Megiddo; Bachir El Khadir; Lior Horesh (CoRR, 2021)

Time-Varying Semidefinite Programs. - Amir Ali Ahmadi; Bachir El Khadir (Math. Oper. Res., 2021)

AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery. - Ryan Cory-Wright; Bachir El Khadir; Cristina Cornelio; Sanjeeb Dash; Lior Horesh (CoRR, 2023)

Learning Dynamical Systems with Side Information. - Amir Ali Ahmadi; Bachir El Khadir (SIAM Rev., 2023)