首页 /研究 /Invariant Generation for Parametrized Systems Using Self-reflection
OTHER

Invariant Generation for Parametrized Systems Using Self-reflection

Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang

发表年份
2012
引用次数
18

关键词

Computer scienceInvariant (physics)A priori and a posterioriTheoretical computer scienceInferenceAbstractionAlgorithmArtificial intelligenceMathematics

相关论文

查看 OTHER 分类全部论文