1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Janardan Misra, Suman Roy
In this work we propose techniques for efficient reachability analysis of the state space (e.g., detection of bad states) using a combination of partial order and symmetry based re…