Gaussian Process-Based Confidence Estimation for Hybrid System Falsification
Zhenya Zhang, Paolo Arcaini
2021年份
7被引次数
1顶会引用
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
引用它的顶会 Paper1
问问它们各自怎么用它相关 Paper
- Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case StudySota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao 等FM 2021 · 被引用 1 次
- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-RobustnessZhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 等CAV 2021 · 被引用 39 次
- Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxJulius Adelt, Timm Liebrenz, Paula HerberFM 2021 · 被引用 17 次
- Gaussian Process Uniform Error Bounds with Unknown Hyperparameters for Safety-Critical ApplicationsAlexandre Capone, Armin Lederer, Sandra HircheICML 2022 · 被引用 26 次
- Security-Aware Sensor Fusion with MATE: the Multi-Agent Trust EstimatorR. Spencer Hallyburton, Miroslav PajicCCS 2025
