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

Brat2Viz: a Tool and Pipeline for Visualizing Narratives from Annotated Texts., , , , , , , , and . Text2Story@ECIR, volume 2860 of CEUR Workshop Proceedings, page 49-56. CEUR-WS.org, (2021)Brazilian Proposal for Agent-Based Learning Objects Metadata Standard - OBAA., , , , , and . MTSR, volume 108 of Communications in Computer and Information Science, page 300-311. Springer, (2010)The use of learning objects for teaching computer programming., , , , and . FIE, page 1-6. IEEE Computer Society, (2015)Counterexample guided inductive optimization applied to mobile robots path planning., , , , and . LARS/SBR, page 1-6. IEEE, (2017)A Low-cost EEG Stand-alone Device for Brain Computer Interface., , , , , , , and . BIODEVICES, page 430-433. INSTICC Press, (2009)TLS-Covid19: A New Annotated Corpus for Timeline Summarization., , , , , and . ECIR (1), volume 12656 of Lecture Notes in Computer Science, page 497-512. Springer, (2021)Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)., , , , and . CoRR, (2017)Road grades and tire forces estimation using two-stage extended Kalman filter in a delayed interconnected cascade structure., , , , , , and . Intelligent Vehicles Symposium, page 115-120. IEEE, (2017)Treinamento Experimental com Jogos de Simulação para Gerentes de Projeto de Software., , and . SBES, page 23-38. SBC, (2004)ORÁCULO: Um Sistema de Críticas para UML., , and . SBES, page 398-403. SBC, (2001)