( en | de | ru )

 

Disambiguation of "Filho, João Edgar Chaves"

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample guided inductive optimization applied to mobile robots path planning.

, , , , and . LARS/SBR, page 1-6. IEEE, (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. You can also use the button next to the name to display some publications already assigned to the person.

João Guilherme Padilha Filho

Gil dos Santos Guerreiro João

João Barros

João Fonseca

João Carreira

 

Other publications of authors with the same name

Counterexample guided inductive optimization applied to mobile robots path planning., , , , and . LARS/SBR, page 1-6. IEEE, (2017)Counterexample guided inductive optimization based on satisfiability modulo theories., , , , and . Sci. Comput. Program., (2018)Verification of fixed-point digital controllers using direct and delta forms realizations., , , and . Des. Autom. Embed. Syst., 20 (2): 95-126 (2016)SMT-based bounded model checking of fixed-point digital controllers., , , and . IECON, page 295-301. IEEE, (2014)Counterexample Guided Inductive Optimization., , , , and . CoRR, (2017)Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)., , , , and . CoRR, (2017)Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering., , , , , and . ETFA, page 1-5. IEEE, (2022)Dynamic and automated product derivation for consumer electronics software applications., , , and . IEEE Trans. Consumer Electron., 59 (4): 883-891 (2013)Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking., , , and . SBESC, page 49-54. IEEE Computer Society, (2014)Designing an extension API for bridging Ginga iDTV applications and home services., , , , and . IEEE Trans. Consumer Electron., 58 (3): 1077-1085 (2012)