Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems

Computer（2022）

引用 0|浏览22

暂无评分

摘要

Recent algorithms show how the availability of structural knowledge, such as symmetries, can significantly improve autonomous system verification in terms of both running time and sample complexity.

查看译文

关键词

cyberphysical systems,algorithmic proofs

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要