Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
使用屏障证书为自动驾驶车辆提供形式安全保证
AI总结 本文提出一种结合屏障证书与时间到碰撞度量的形式验证安全框架,通过SMT求解器和自适应控制机制,提升自动驾驶车辆的安全性和可解释性。
Comments Accepted to AAAI-26 Bridge Program B10: Making Embodied AI Reliable with Testing and Formal Verification