Integrating low level symmetries into reachability analysis

被引：0

作者：

Schmidt, K ^{[1
]}

机构：

[1] Humboldt Univ, Inst Informat, D-10099 Berlin, Germany

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 2000年 / 1785卷

关键词：

symmetries; automorphisms; reachability analysis;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present three methods for the integration of symmetries into reachability analysis. Two of them lead to maximal reduction but their runtime depends on the symmetry structure.The third one works always fast but does not always yield maximal reduction.

引用

页码：315 / 330

页数：16