Author of the publication

Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version).

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

 

Other publications of authors with the same name

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