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.

• Type: Conference
• Year: 2000
• Where: TACAS
• Authors: Karsten Schmidt 0004
• Keywords: Algorithms, Perfect Reduction, Reachability Analysis, Symmetry Structure, TACAS 2000