Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
IFAC-PapersOnLine（2018）
关键词
Reachability analysis, verification and abstraction of hybrid systems,embedded computer control systems and applications,logical design, physical design and implementation of embedded computer systems,supervision and testing,model-driven systems engineering
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要