19 citations · 31 across the 15 of their papers we have counts for
4 papers · 1 filter
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Xidan Song, Edoardo Manino, Luiz Sena +5
QNNVerifier is the first open-source tool for verifying implementations of neural networks that takes into account the finite word-length (i.e. quantization) of their operands. The…
Verifying Quantized Neural Networks using SMT-Based Model Checking
Luiz Sena, Xidan Song, Erickson Alves +4
Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis. However, concerns ab…
Evolving Fuzzy System Applied to Battery Charge Capacity Prediction for Fault Prognostics
Murilo Osorio Camargos, Iury Bessa, Luiz A. Q. Cordovil Junior +3
This paper addresses the use of data-driven evolving techniques applied to fault prognostics. In such problems, accurate predictions of multiple steps ahead are essential for the R…
Incremental Learning and State-Space Evolving Fuzzy Control of Nonlinear Time-Varying Systems with Unknown Model
Daniel Leite, Pedro Coutinho, Iury Bessa +3
We present a method for incremental modeling and time-varying control of unknown nonlinear systems. The method combines elements of evolving intelligence, granular machine learning…