Login / Signup
David Deininger
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Finite State
Latent Variables
Model Checking
Probabilistic Model
Top Venues
ATVA
</>
Publications
</>
David Deininger
,
Rayna Dimitrova
,
Rupak Majumdar
Symbolic Model Checking for Factored Probabilistic Models.
ATVA
(2016)