Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning

Rodrigo F. Araujo, Alexandre Ribeiro, Iury V. Bessa, Lucas C. Cordeiro, Joao E. C. Filho

Research output: Other contribution › peer-review

Original language	English
Publication status	Published - 2017

Keywords

@misc{d02c5d0881c543adadbbca871faa7144,

title = "Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning",

keywords = "optimization, satisfiability modulo theory, path planning, mobile robots",

author = "Araujo, {Rodrigo F.} and Alexandre Ribeiro and Bessa, {Iury V.} and Cordeiro, {Lucas C.} and Filho, {Joao E. C.}",

year = "2017",

language = "English",

type = "Other",

}

TY - GEN

T1 - Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning

AU - Araujo, Rodrigo F.

AU - Ribeiro, Alexandre

AU - Bessa, Iury V.

AU - Cordeiro, Lucas C.

AU - Filho, Joao E. C.

PY - 2017

Y1 - 2017

KW - optimization

KW - satisfiability modulo theory

KW - path planning

KW - mobile robots

UR - https://www.researchgate.net/publication/322000463_Counterexample_guided_inductive_optimization_applied_to_mobile_robots_path_planning

M3 - Other contribution

ER -