FM2021Top-tier venue
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification
Zhenya Zhang, Paolo Arcaini
2021Year
7Citations
1Top-tier citations
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 1a07eb86-1897-4c30-90c3-fac1043cfe50Cited by top-tier papers1
Ask how each one uses itRelated papers
- Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case StudySota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao et al.FM 2021 · 1 citation
- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-RobustnessZhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma et al.CAV 2021 · 39 citations
- Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxJulius Adelt, Timm Liebrenz, Paula HerberFM 2021 · 17 citations
- Gaussian Process Uniform Error Bounds with Unknown Hyperparameters for Safety-Critical ApplicationsAlexandre Capone, Armin Lederer, Sandra HircheICML 2022 · 26 citations
- Security-Aware Sensor Fusion with MATE: the Multi-Agent Trust EstimatorR. Spencer Hallyburton, Miroslav PajicCCS 2025
