Login / Signup
Farshad Farkhondehmaal
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Weighted Model Counting
Prior Information
Bayesian Inference
Hyperparameters
Top Venues
IEEE Syst. J.
</>
Publications
</>
Farshad Farkhondehmaal
,
Alejandro Salado
Efficient Population of the Verification Tradespace Using Bayesian Inference.
IEEE Syst. J.
14 (3) (2020)