BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning.

Joseph Scott Trishal Sudula Hammad Rehman Federico Mora Vijay Ganesh

Published in: FM (2021)

Keyphrases

multi agent reinforcement learning
modulo theories
satisfiability modulo theories
multi agent
reinforcement learning
multi agent learning
learning agents
multi agent systems
stochastic games
neural network
cooperative
expert systems
sufficient conditions