( en | de | ru )

 

Disambiguierung von "Tabuada, Paulo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SMC: Satisfiability Modulo Convex Optimization.

, , , , , und . HSCC, Seite 19-28. ACM, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Milan Paulovic

Manuel António Paulo

Hartwig Paulo

Kurt Paulokat

Nicola Paulo

 

Weitere Publikationen von Autoren mit dem selben Namen

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