2 × USA
D.L.Dill J.P.Bergmann A.J.Hu M.Horowitz
reachabl (2) approxim (2) use (2) auxiliari (1) variabl (1) project (1) overlap (1) improv (1) state (1) bdds (1)
Person: Shankar G. Govindaraju
Wrote 2 papers:
- DAC-1999-GovindarajuDB #approximate #reachability #using
- Improved Approximate Reachability Using Auxiliary State Variables (SGG, DLD, JPB), pp. 312–316.
- DAC-1998-GovindarajuDHH #approximate #reachability #using
- Approximate Reachability with BDDs Using Overlapping Projections (SGG, DLD, AJH, MH), pp. 451–456.