Error-Free Affine, Unitary, and Probabilistic OBDDs.

Rishat Ibrahimov Kamil Khadiev Krisjanis Prusis Abuzer Yakaryilmaz

Published in: Int. J. Found. Comput. Sci. (2021)

Keyphrases

error free
error prone
graceful degradation
model checking
error resilient