Rule randomization for propositional logic-based workflow verification.

Qianhui Liang, Stuart Harvey Rubin

Browse the full IRI paper archive.