Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems Via Counterexample Guidance
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS（2024）
关键词
Training,Scalability,Artificial neural networks,Programming,Polynomials,Generators,Safety,Linear matrix inequalities,Optimization,Testing,Counterexample guidance,hybrid system,polynomial neural barrier certificate,safety verification
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要