Bessa, Iury

1. Automated Formal Synthesis of Digital Controllers for State-Space\n Physical Plants
   2017/05/02 by Alessandro Abate, Iury Bessa, Abate, Alessandro +13 · 2 citations
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Modeling and Simulation Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Verifying Quantized Neural Networks using SMT-Based Model Checking
   2021/06/10 by Sena, Luiz, Song, Xidan, Alves, Erickson +4 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Symbolic Computation (cs.SC)
3. CEG4N: Counter-Example Guided Neural Network Quantization Refinement
   2022/07/09 by Matos, João Batista P., Bessa, Iury, Manino, Edoardo +2 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)