Rodrigo F. Araujo

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 8

Top Topics

Optimization Problems

Top Venues

Sci. Comput. Program.

Publications

Rodrigo F. Araujo, Pedro Henrique Silva Coutinho, Anh-Tu Nguyen, Reinaldo M. Palhares
Delayed nonquadratic L2-stabilization of continuous-time nonlinear Takagi-Sugeno fuzzy models. Inf. Sci. 563 (2021)
Pedro Henrique Silva Coutinho, Rodrigo F. Araujo, Anh-Tu Nguyen, Reinaldo M. Palhares
A Multiple-Parameterization Approach for local stabilization of constrained Takagi-Sugeno fuzzy systems with nonlinear consequents. Inf. Sci. 506 (2020)
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
Counterexample guided inductive optimization based on satisfiability modulo theories. Sci. Comput. Program. 165 (2018)
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version). CoRR (2017)
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
Counterexample Guided Inductive Optimization. CoRR (2017)
Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
OptCE: A Counterexample-Guided Inductive Optimization Solver. SBMF (2017)
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
Counterexample guided inductive optimization applied to mobile robots path planning. LARS/SBR (2017)
Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho
SMT-based Verification Applied to Non-convex Optimization Problems. SBESC (2016)