( en | de | ru )

 

Disambiguierung von "Araujo, Rodrigo F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version).

, , , , und . CoRR, (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.

Rodrigo Araujo

Bilzã Araújo

Samur Araújo

Augusto Araújo

Roberto Araújo

 

Weitere Publikationen von Autoren mit dem selben Namen

Counterexample Guided Inductive Optimization., , , , und . CoRR, (2017)Improved Gain-Scheduled Control Design for Rational Nonlinear Discrete-Time Systems with Input Saturation., , , und . ECC, Seite 560-565. IEEE, (2022)SMT-based Verification Applied to Non-convex Optimization Problems., , , und . SBESC, Seite 1-8. IEEE Computer Society, (2016)Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)., , , , und . CoRR, (2017)OptCE: A Counterexample-Guided Inductive Optimization Solver., , , , und . SBMF, Volume 10623 von Lecture Notes in Computer Science, Seite 125-141. Springer, (2017)A Multiple-Parameterization Approach for local stabilization of constrained Takagi-Sugeno fuzzy systems with nonlinear consequents., , , und . Inf. Sci., (2020)Counterexample guided inductive optimization based on satisfiability modulo theories., , , , und . Sci. Comput. Program., (2018)Stabilization of rational nonlinear discrete-time systems by state feedback and static output feedback., , , und . Eur. J. Control, (2022)Delayed nonquadratic L2-stabilization of continuous-time nonlinear Takagi-Sugeno fuzzy models., , , und . Inf. Sci., (2021)Counterexample guided inductive optimization applied to mobile robots path planning., , , , und . LARS/SBR, Seite 1-6. IEEE, (2017)