Introduction to fa and dfa
The Evolution of Symbolic Model Checking Ken McMillan Cadence Berkeley Labs.
Avoiding Determinization Orna Kupferman Hebrew University Joint work with Moshe Vardi.
Avoiding Determinization