Verification of ORM-based Controllers by Summary Inference
Geetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil, Nilesh Kharat
2022年份
2被引次数
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxJulius Adelt, Timm Liebrenz, Paula HerberFM 2021 · 被引用 17 次
- Formally Verified Safety Net for Waypoint Navigation Neural Network ControllersAlexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. WarrenFM 2021 · 被引用 4 次
- I3DP: Neuro-Symbolic Inductive Invariant Inference for Distributed ProtocolsWeining Cao, Guangyuan Wu, Yuan Yao, Hengfeng Wei 等SOSP 2026
- Expectation-Guided Self-Verification for Aligning Large Reasoning Models with Domain KnowledgeHan Zhang, Chen Zhao, Shasha Wang, Gang Chen 等WWW 2026
- The Octatope Abstract Domain for Verification of Neural NetworksStanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi 等FM 2023 · 被引用 5 次
