10 citations · 11 across the 2 of their papers we have counts for
1 paper · 1 filter
Nian-Ze Lee, Jie-Hong R. Jiang
Stochastic Boolean Satisfiability (SSAT) is a logical formalism to model decision problems with uncertainty, such as Partially Observable Markov Decision Process (POMDP) for verifi…