Login / Signup
Trishal Sudula
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Multi Agent Learning
Satisfiability Modulo Theories
Reinforcement Learning
Top Venues
FM
</>
Publications
</>
Joseph Scott
,
Trishal Sudula
,
Hammad Rehman
,
Federico Mora
,
Vijay Ganesh
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning.
FM
(2021)