Search Results for author: Iury V. Bessa

Found 2 papers, 1 papers with code

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

1 code implementation30 Jul 2019 Luiz H. Sena, Iury V. Bessa, Mikhail R. Gadelha, Lucas C. Cordeiro, Edjard Mota

Artificial Neural networks (ANNs) are powerful computing systems employed for various applications due to their versatility to generalize and to respond to unexpected inputs/patterns.

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

no code implementations14 Aug 2017 Rodrigo F. Araújo, Alexandre Ribeiro, Iury V. Bessa, Lucas C. Cordeiro, João E. C. Filho

We describe and evaluate a novel optimization-based off-line path planning algorithm for mobile robots based on the Counterexample-Guided Inductive Optimization (CEGIO) technique.

Cannot find the paper you are looking for? You can Submit a new open access paper.