Black Box Checking.

Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis

Browse the full FORTE paper archive.