Sciweavers

Share
TACAS
2000
Springer

Integrating Low Level Symmetries into Reachability Analysis

8 years 9 months ago
Integrating Low Level Symmetries into Reachability Analysis
We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. The third one works always fast but does not always yield perfect reduction.
Karsten Schmidt 0004
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where TACAS
Authors Karsten Schmidt 0004
Comments (0)
books