Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures.

Michael Coln, Toms E. Uribe

Browse the full CAV paper archive.