( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SMC: Satisfiability Modulo Convex Optimization.

, , , , , и . HSCC, стр. 19-28. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Milan Paulovic

Hartwig Paulo

Manuel António Paulo

Kurt Paulokat

Nicola Paulo

 

Другие публикации лиц с тем же именем

Learned Uncertainty Calibration for Visual Inertial Localization., , , и . ICRA, стр. 5311-5317. IEEE, (2021)Persistent Connected Power Constrained Surveillance with Unmanned Aerial Vehicles., , , и . IROS, стр. 1501-1508. IEEE, (2020)An enhanced hierarchy for (robust) controlled invariance., , , и . ACC, стр. 4860-4865. IEEE, (2021)Why not both? Exact continuous and discrete optimization with submodularity., и . CDC, стр. 4842-4847. IEEE, (2020)Give the problem a lift: solving quadratic programs with combinatorial costs., и . CDC, стр. 6941-6946. IEEE, (2022)Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design., , , и . CoRR, (2019)From nonlinear to Hamiltonian via feedback., и . IEEE Trans. Autom. Control., 48 (8): 1439-1442 (2003)Guest Editorial Special Issue on Control of Cyber-Physical Systems., , , и . IEEE Trans. Autom. Control., 59 (12): 3120-3121 (2014)Universal approximation power of deep residual neural networks via nonlinear control theory., и . ICLR, OpenReview.net, (2021)Underminer: a framework for automatically identifying non-converging behaviors in black box system models., , , , и . EMSOFT, стр. 7:1-7:10. ACM, (2016)