João Edgar Chaves Filho

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 6

Top Topics

Dynamic And Uncertain Environments

Top Venues

Sci. Comput. Program.

Publications

Jadir Barbosa, Renan Landau P. Medeiros, Florindo A. C. Ayres, João Edgar Chaves Filho, Vicente F. Lucena, Iury Bessa
Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering. ETFA (2022)
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)
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)
Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho
Verification of fixed-point digital controllers using direct and delta forms realizations. Des. Autom. Embed. Syst. 20 (2) (2016)
Iury Bessa, Renato B. Abreu, João Edgar Chaves Filho, Lucas C. Cordeiro
SMT-based bounded model checking of fixed-point digital controllers. IECON (2014)