%0 Journal Article %1 journals/corr/abs-1708-04028 %A Araujo, Rodrigo F. %A Ribeiro, Alexandre %A de Bessa, Iury Valente %A Cordeiro, Lucas C. %A Filho, João Edgar Chaves %D 2017 %J CoRR %K dblp %T Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version). %U http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-04028 %V abs/1708.04028

@article{journals/corr/abs-1708-04028, added-at = {2022-09-16T00:00:00.000+0200}, author = {Araujo, Rodrigo F. and Ribeiro, Alexandre and de Bessa, Iury Valente and Cordeiro, Lucas C. and Filho, João Edgar Chaves}, biburl = {https://www.bibsonomy.org/bibtex/246f5165e21ee9cd178c54233518dc1d6/dblp}, ee = {http://arxiv.org/abs/1708.04028}, interhash = {e04b300cd2579d868669f3a904fca5e3}, intrahash = {46f5165e21ee9cd178c54233518dc1d6}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:20:37.000+0200}, title = {Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-04028}, volume = {abs/1708.04028}, year = 2017 }