Nian-Ze Lee | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Dirk Beyer
4 publications
Jie-Hong R. Jiang
2 publications
Philipp Wendler
1 publication

research

∙ 08/09/2022

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification

Interpolation-based model checking (McMillan, 2003) is a formal-verifica...

0 Dirk Beyer, et al. ∙

research

∙ 11/11/2019

Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty

Stochastic Boolean Satisfiability (SSAT) is a logical formalism to model...

0 Nian-Ze Lee, et al. ∙