Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory.

Adrian J. Isles, Ramin Hojati, Robert K. Brayton

Browse the full CAV paper archive.