Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis.

HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi

Browse the full TACAS paper archive.